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