Update configure line in phpinfo() after re-running configure without

running make clean first, bug #18012.

diff --git a/ext/standard/Makefile.frag b/ext/standard/Makefile.frag
index d48cf2fd1897d2132a137ff0d0137bb3d22d8953..79ed05a992a0b00f9319a0094cd7ef04ecaa2992 100644 (file)
--- a/ext/standard/Makefile.frag
+++ b/ext/standard/Makefile.frag
@@ -7,3 +7,4 @@ $(srcdir)/var_unserializer.c: $(srcdir)/var_unserializer.re
 $(srcdir)/url_scanner_ex.c: $(srcdir)/url_scanner_ex.re
        re2c -b $(srcdir)/url_scanner_ex.re > $@
 
+$(srcdir)/info.c: $(builddir)/../../main/build-defs.h