clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-22 02:17:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Delete config.cache always. This makes config.nice a bit more useful.

Browse Source
This commit is contained in:
foobar 2001-08-02 18:22:57 +00:00
parent 7ecb33868c
commit 17e6295fbb
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
configure.in
View File

@ -5,6 +5,11 @@ divert(1)
AC_INIT(README.CVS-RULES)
dnl Remove config.cache as it might cause unexpected behaviour
dnl in case of a reconfigure.
divert(0)
rm -f config.cache
PHP_FAST_OUTPUT(sapi/Makefile ext/Makefile Makefile pear/Makefile main/Makefile)
if test "$with_shared_apache" != "no" && test -n "$with_shared_apache" ; then
@ -991,7 +996,6 @@ dnl fi
if test -n "$DEBUG_LOG"; then
rm -f config.cache
cat <<X
+--------------------------------------------------------------------+
| *** ATTENTION *** |