diff options
Diffstat (limited to 'build/print_include.awk')
| -rw-r--r-- | build/print_include.awk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build/print_include.awk b/build/print_include.awk new file mode 100644 index 0000000..a4919fa --- /dev/null +++ b/build/print_include.awk @@ -0,0 +1,6 @@ +/phpext_/ { + if (old_filename != FILENAME) { + printf "#include \"" FILENAME "\"@NEWLINE@" + old_filename = FILENAME + } +} |