diff options
| author | foobar <sniper@php.net> | 2000-10-20 01:58:00 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2000-10-20 01:58:00 +0000 |
| commit | d485e7fc29ecd0eee0da05fb78bda06bf197eb4b (patch) | |
| tree | 693264ba98dffe637bf51d521f4eb9160a93900c /genfiles | |
| parent | 287fc71ee23c6354ae6a7a6650ae423aa88961c9 (diff) | |
| download | php-git-d485e7fc29ecd0eee0da05fb78bda06bf197eb4b.tar.gz | |
Regenerate url_scanner_ex.c (always) without '#line' directives for
releases and snapshots. PR: 7154, 7263, 7289
# Sascha: Is this allright?
Diffstat (limited to 'genfiles')
| -rwxr-xr-x | genfiles | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -17,3 +17,6 @@ EOF (cd ext/standard && make parsedate.c) rm config_vars.mk .deps ext/standard/libs.mk $files + +re2c -b ext/standard/url_scanner_ex.re | grep -v "#line" > ext/standard/url_scanner_ex.c + |