Merge pull request #9145 from valtron/devel

Misc portability stuff
This commit is contained in:
Andreas Rumpf 2018-10-01 22:55:20 +02:00 • committed by GitHub
commit 41bd6ed628
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -6,7 +6,7 @@ set -u # error on undefined variables
set -e # exit on first error
echo_run(){
echo "\n$@"
printf "\n$*"
"$@"
}

View file

@ -119,7 +119,7 @@ case $uos in
myos="haiku"
LINK_FLAGS="$LINK_FLAGS -lroot -lnetwork"
;;
*mingw* )
*mingw* | *msys* )
myos="windows"
;;
*android* )