diff options
author | Mizunashi Mana <mizunashi-mana@noreply.git> | 2018-10-20 09:42:56 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2018-10-20 09:42:56 +0200 |
commit | 9f5cb626ed4bede914b57ec8e233808030671ee5 (patch) | |
tree | 6d4ee900ce57caeb1757ede50e42a60900db9f8e /makedist | |
parent | 4be0528476763d8c6bfb7a47ad62278c187ef400 (diff) | |
download | php-git-9f5cb626ed4bede914b57ec8e233808030671ee5.tar.gz |
Fix #77041: buildconf should output error messages to stderr
Diffstat (limited to 'makedist')
-rwxr-xr-x | makedist | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |