diff options
Diffstat (limited to 'ext/phar/Makefile.frag')
| -rw-r--r-- | ext/phar/Makefile.frag | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/phar/Makefile.frag b/ext/phar/Makefile.frag index ed6de9fd67..faa9db0c70 100644 --- a/ext/phar/Makefile.frag +++ b/ext/phar/Makefile.frag @@ -1,5 +1,5 @@ $(srcdir)/phar_path_check.c: $(srcdir)/phar_path_check.re - @(cd $(top_srcdir); $(RE2C) -b -o ext/phar/phar_path_check.c ext/phar/phar_path_check.re) + @(cd $(top_srcdir); $(RE2C) --no-generation-date -b -o ext/phar/phar_path_check.c ext/phar/phar_path_check.re) pharcmd: $(builddir)/phar.php $(builddir)/phar.phar |