diff options
| author | Johannes Schlüter <johannes@php.net> | 2012-04-18 22:45:59 +0200 |
|---|---|---|
| committer | Johannes Schlüter <johannes@php.net> | 2012-04-18 22:48:49 +0200 |
| commit | dda60f3014743fcbfc1078a8e52b4d7b2e09b839 (patch) | |
| tree | 47d5994f94a7858ea2ffdd2d968497257df07865 /ext/pdo | |
| parent | f3d86b314f4977f95844aa4eaa41759c8d71c247 (diff) | |
| download | php-git-dda60f3014743fcbfc1078a8e52b4d7b2e09b839.tar.gz | |
Ensure the SQL parser is regenerated after changes.
Diffstat (limited to 'ext/pdo')
| -rw-r--r-- | ext/pdo/Makefile.frag | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/pdo/Makefile.frag b/ext/pdo/Makefile.frag index 283a6e2433..98f5c5f2ad 100644 --- a/ext/pdo/Makefile.frag +++ b/ext/pdo/Makefile.frag @@ -4,6 +4,10 @@ PDO_HEADER_FILES= \ php_pdo.h \ php_pdo_driver.h + +$(srcdir)/pdo_sql_parser.c: $(srcdir)/pdo_sql_parser.re + (cd $(top_srcdir); $(RE2C) -o ext/pdo/pdo_sql_parser.c ext/pdo/pdo_sql_parser.re) + install-pdo-headers: @echo "Installing PDO headers: $(INSTALL_ROOT)$(phpincludedir)/ext/pdo/" @$(mkinstalldirs) $(INSTALL_ROOT)$(phpincludedir)/ext/pdo |