]> granicus.if.org Git - php/commitdiff
Revert this change - if you want to do this, do it in a 'make clean'
authorRasmus Lerdorf <rasmus@php.net>
Thu, 2 Aug 2001 21:20:20 +0000 (21:20 +0000)
committerRasmus Lerdorf <rasmus@php.net>
Thu, 2 Aug 2001 21:20:20 +0000 (21:20 +0000)
configure.in

index 39e0571ff4dc755145b9bf99b53d695a2675af1e..42d8e3ceb50c21bdaaaa6be3c46183e16a5bd8ab 100644 (file)
@@ -5,11 +5,6 @@ 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