diff --git a/tools/sethost.sh b/tools/sethost.sh index ba7848e042..c8bc0e4f95 100755 --- a/tools/sethost.sh +++ b/tools/sethost.sh @@ -66,12 +66,15 @@ while [ ! -z "$1" ]; do host=linux ;; -c ) + host=windows wenv=cygwin ;; -u ) + host=windows wenv=ubuntu ;; -n ) + host=windows wenv=native ;; -32 ) diff --git a/tools/testbuild.sh b/tools/testbuild.sh index 75e0e3b57c..0d10702c75 100755 --- a/tools/testbuild.sh +++ b/tools/testbuild.sh @@ -77,15 +77,19 @@ while [ ! -z "$1" ]; do host=linux ;; -c ) + host=windows wenv=cygwin ;; -u ) + host=windows wenv=ubuntu ;; -n ) + host=windows wenv=native ;; -s ) + host=windows sizet=long ;; -a )