summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild/buildcheck.sh12
-rw-r--r--build/genif.sh2
-rwxr-xr-xbuildconf4
-rwxr-xr-xmakedist4
4 files changed, 11 insertions, 11 deletions
diff --git a/build/buildcheck.sh b/build/buildcheck.sh
index 54881459a1..12a6b0eaed 100755
--- a/build/buildcheck.sh
+++ b/build/buildcheck.sh
@@ -31,16 +31,16 @@ fi
# autoconf 2.64 or newer
ac_version=`$PHP_AUTOCONF --version 2>/dev/null|head -n 1|sed -e 's/^[^0-9]*//' -e 's/[a-z]* *$//'`
if test -z "$ac_version"; then
-echo "buildconf: autoconf not found."
-echo " You need autoconf version 2.64 or newer installed"
-echo " to build PHP from Git."
+echo "buildconf: autoconf not found." >&2
+echo " You need autoconf version 2.64 or newer installed" >&2
+echo " to build PHP from Git." >&2
exit 1
fi
IFS=.; set $ac_version; IFS=' '
if test "$1" = "2" -a "$2" -lt "64" || test "$1" -lt "2"; then
-echo "buildconf: autoconf version $ac_version found."
-echo " You need autoconf version 2.64 or newer installed"
-echo " to build PHP from Git."
+echo "buildconf: autoconf version $ac_version found." >&2
+echo " You need autoconf version 2.64 or newer installed" >&2
+echo " to build PHP from Git." >&2
exit 1
else
echo "buildconf: autoconf version $ac_version (ok)"
diff --git a/build/genif.sh b/build/genif.sh
index 4a9c0faee7..c150c4c40a 100644
--- a/build/genif.sh
+++ b/build/genif.sh
@@ -13,7 +13,7 @@ awk=$1
shift
if test -z "$infile" || test -z "$srcdir"; then
- echo "please supply infile and srcdir"
+ echo "please supply infile and srcdir" >&2
exit 1
fi
diff --git a/buildconf b/buildconf
index 9b3ffe4ac3..9f6f6bdc1d 100755
--- a/buildconf
+++ b/buildconf
@@ -28,8 +28,8 @@ while test $# -gt 0; do
done
if test "$dev" = "0" -a "$devok" = "0"; then
- echo "You should not run buildconf in a release package."
- echo "use buildconf --force to override this check."
+ echo "You should not run buildconf in a release package." >&2
+ echo "use buildconf --force to override this check." >&2
exit 1
fi
diff --git a/makedist b/makedist
index 9eb9f52b11..0c40504133 100755
--- a/makedist
+++ b/makedist
@@ -65,8 +65,8 @@ DIR=php-$VER
DIRPATH=$MY_OLDPWD/$DIR
if test -d "$DIRPATH"; then
- echo "The directory $DIR"
- echo "already exists, rename or remove it and run makedist again."
+ echo "The directory $DIR" >&2
+ echo "already exists, rename or remove it and run makedist again." >&2
exit 1
fi