diff options
| -rw-r--r-- | sys/dev/usb/Makefile.usbdevs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/sys/dev/usb/Makefile.usbdevs b/sys/dev/usb/Makefile.usbdevs index 851b802..319d066 100644 --- a/sys/dev/usb/Makefile.usbdevs +++ b/sys/dev/usb/Makefile.usbdevs @@ -4,8 +4,13 @@ AWK= awk UNAME= uname +RM= rm -usbdevs.h usbdevs_data.h: usbdevs devlist2h.awk +# The targets are always remade. + +.PHONY= all + +all: usbdevs devlist2h.awk /bin/rm -f usbdevs.h usbdevs_data.h ${AWK} -v type=USB -v os=`${UNAME} -s` -f devlist2h.awk usbdevs |
