From a323fb91d017d42cd21068009fd63e9299233c48 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Sun, 1 Jan 2017 15:39:24 -0600 Subject: [PATCH] tools/: Small simplication to usage --- tools/sethost.sh | 3 +++ tools/testbuild.sh | 4 ++++ 2 files changed, 7 insertions(+) diff --git a/tools/sethost.sh b/tools/sethost.sh index ba7848e0427..c8bc0e4f95e 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 75e0e3b57c0..0d10702c756 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 )