]> granicus.if.org Git - php/commitdiff
suppress No such file or directory
authorSascha Schumann <sas@php.net>
Fri, 2 Jul 1999 13:59:51 +0000 (13:59 +0000)
committerSascha Schumann <sas@php.net>
Fri, 2 Jul 1999 13:59:51 +0000 (13:59 +0000)
configure.in.in

index ad0b0782fa7a6796affdf287f1f767d0f773e0d2..fb2880baf02993e87ac9b2780723088da4b1c013 100644 (file)
@@ -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'