diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-10-20 09:54:00 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2018-10-20 09:54:00 +0200 |
commit | b7cef2b008f3d02e345b2ddf45fa322047ee9367 (patch) | |
tree | a47819f5d7c960129901d1c0dc3a59ed7385a833 /makedist | |
parent | 2224277d7d7efb06adcb512427e299295876fb87 (diff) | |
parent | 3b8be227bd070da0acffdae9a3bd8043c08ec2d3 (diff) | |
download | php-git-b7cef2b008f3d02e345b2ddf45fa322047ee9367.tar.gz |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
[ci skip] Update NEWS
[ci skip] Update NEWS
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 |