diff --git a/makefiles/usb-codes.inc.mk b/makefiles/usb-codes.inc.mk index ccc3e57926..175137bac3 100644 --- a/makefiles/usb-codes.inc.mk +++ b/makefiles/usb-codes.inc.mk @@ -19,7 +19,7 @@ endif USB_VID_TESTING = 1209 USB_PID_TESTING = 7D01 usb_id_check: - @if grep --quiet --ignore-case "^$(USB_VID) $(USB_PID)$$" $(RIOTBASE)/dist/usb_id_testing; then \ + @if grep -q -i "^$(USB_VID) $(USB_PID)$$" $(RIOTBASE)/dist/usb_id_testing; then \ $(COLOR_ECHO) "$(COLOR_RED)Private testing pid.codes USB VID/PID used!, do not use it outside of test environments!$(COLOR_RESET)" 1>&2 ; \ $(COLOR_ECHO) "$(COLOR_RED)MUST NOT be used on any device redistributed, sold or manufactured, VID/PID is not unique!$(COLOR_RESET)" 1>&2 ; \ fi