diff options
author | Sascha Schumann <sas@php.net> | 1999-07-02 13:59:51 +0000 |
---|---|---|
committer | Sascha Schumann <sas@php.net> | 1999-07-02 13:59:51 +0000 |
commit | 900850497da8e78811ea0c27d885ff471d9c65a9 (patch) | |
tree | 4d90f9733caafa0a851e81b5f217c596d0db4b95 | |
parent | 03e16899bc9f6beacd489cddb113bb5412e1023c (diff) | |
download | php-git-900850497da8e78811ea0c27d885ff471d9c65a9.tar.gz |
suppress No such file or directory
-rw-r--r-- | configure.in.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in.in b/configure.in.in index ad0b0782fa..fb2880baf0 100644 --- a/configure.in.in +++ b/configure.in.in @@ -48,7 +48,7 @@ AM_INIT_AUTOMAKE(php, 4.0pa1) PHP_VERSION=$VERSION echo "#define PHP_VERSION \"$PHP_VERSION\"" > php_version.h.new -cmp php_version.h.new php_version.h >/dev/null +cmp php_version.h.new php_version.h >/dev/null 2>&1 if test $? -ne 0 ; then rm -f php_version.h && mv php_version.h.new php_version.h && \ echo 'Updated php_version.h' |