diff --git a/sys/tools/usbdevs2h.awk b/sys/tools/usbdevs2h.awk index 8d641d0677b2..42e57cf190a8 100644 --- a/sys/tools/usbdevs2h.awk +++ b/sys/tools/usbdevs2h.awk @@ -42,14 +42,6 @@ function usage() function header(file) { - if (os == "NetBSD") - printf("/*\t\$NetBSD\$\t*/\n\n") > file - else if (os == "FreeBSD") - printf("/* \$FreeBSD\$ */\n\n") > file - else if (os == "OpenBSD") - printf("/*\t\$OpenBSD\$\t*/\n\n") > file - else - printf("/* ??? */\n\n") > file printf("/*\n") > file printf(" * THIS FILE IS AUTOMATICALLY GENERATED. DO NOT EDIT.\n") \ > file