diff --git a/sys/tools/usbdevs2h.awk b/sys/tools/usbdevs2h.awk index 42e57cf190a..25c29c798b3 100644 --- a/sys/tools/usbdevs2h.awk +++ b/sys/tools/usbdevs2h.awk @@ -45,9 +45,6 @@ function header(file) printf("/*\n") > file printf(" * THIS FILE IS AUTOMATICALLY GENERATED. DO NOT EDIT.\n") \ > file - printf(" *\n") > file - printf(" * generated from:\n") > file - printf(" *\t%s\n", VERSION) > file printf(" */\n") > file } @@ -234,8 +231,6 @@ line=0; while ((getline < srcfile) > 0) { line++; if (line == 1) { - VERSION = $0 - gsub("\\$", "", VERSION) if (dfile) header(dfile) if (hfile)