diff options
| author | foobar <sniper@php.net> | 2001-08-07 13:29:09 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2001-08-07 13:29:09 +0000 |
| commit | 895c75e23cc4451a6d4e721c0d20c85e2bae4f87 (patch) | |
| tree | 486cc014896c8a02b62eab933ae720d3230d9ef7 /configure.in | |
| parent | ef9d34b70a204b8f93164817b840c60978b26b75 (diff) | |
| download | php-git-895c75e23cc4451a6d4e721c0d20c85e2bae4f87.tar.gz | |
This was not supposed to be removed.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 38d9647a4b..594f4d6a7d 100644 --- a/configure.in +++ b/configure.in @@ -991,6 +991,7 @@ dnl fi if test -n "$DEBUG_LOG"; then + rm -f config.cache cat <<X +--------------------------------------------------------------------+ | *** ATTENTION *** | |