diff options
| author | Sascha Schumann <sas@php.net> | 2000-12-20 16:29:07 +0000 |
|---|---|---|
| committer | Sascha Schumann <sas@php.net> | 2000-12-20 16:29:07 +0000 |
| commit | 060e647e5e420dbb9654314d4d1e3f503acce28a (patch) | |
| tree | 29421664d4a28d84cacee82a902913b6d23076e0 /build/print_include.awk | |
| parent | 73c0f4b4c2dc1f47932890c4e4a574d68c1f1c24 (diff) | |
| download | php-git-060e647e5e420dbb9654314d4d1e3f503acce28a.tar.gz | |
Speed up the genif.sh script a little bit. Whereas it took three seconds
previously, it takes now about 100ms on a P233.
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 0000000000..508ed4c6ad --- /dev/null +++ b/build/print_include.awk @@ -0,0 +1,6 @@ +/phpext_/ { + if (old_filename != FILENAME) { + printf "#include \"" FILENAME "\"\\\\n" + old_filename = FILENAME + } +} |