diff options
-rwxr-xr-x | vidix/pci_db2c.awk | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/vidix/pci_db2c.awk b/vidix/pci_db2c.awk index f54a29fb35..202eddfc8e 100755 --- a/vidix/pci_db2c.awk +++ b/vidix/pci_db2c.awk @@ -42,7 +42,9 @@ BEGIN { print_head(ids_file); print_head(name_file); print_head(dev_ids_file); - print_includes(dev_ids_file); + print "#include <stdlib.h>" > dev_ids_file; + print "#include \"pci_names.h\"" > dev_ids_file; + print_guards_start(vendor_file); print_guards_start(ids_file); print "#include \"pci_vendors.h\"" > ids_file @@ -130,12 +132,6 @@ function print_guards_end(out_file) printf("#endif /* %s */\n", guard_name) > out_file } -function print_includes(out_file) -{ - print "#include <stdlib.h>" > out_file; - print "#include \"pci_names.h\"" > out_file; -} - function print_head(out_file) { printf("/* File: %s\n", out_file) > out_file; |