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