diff options
| -rwxr-xr-x | build_and_test.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/build_and_test.sh b/build_and_test.sh index ca4e143..66ba8d8 100755 --- a/build_and_test.sh +++ b/build_and_test.sh @@ -5,6 +5,7 @@ USE_COMPILER= DESTINATION= EXTRA_OPTIONS= EXTRA_LINK_OPTIONS= +SKIP_TESTS=0 while [ $# -gt 0 ]; do case $1 in @@ -19,6 +20,7 @@ while [ $# -gt 0 ]; do echo " -d --destination - Set destination path" echo " -o --options - Set additional options for the compiler" echo " -l --link - Set additional options for the linker" + echo " -S --skip-tests - Skip tests" echo "" exit 0 ;; @@ -47,6 +49,10 @@ while [ $# -gt 0 ]; do shift shift ;; + -S|--skip-tests) + SKIP_TESTS=1 + shift + ;; *) echo "Unknown option $1" shift @@ -220,7 +226,7 @@ if [ $? -ne 0 ]; then exit 1 fi -if [ "$COMPILE" = "emcc" ]; then +if [ $SKIP_TESTS -ne 0 ] || [ "$COMPILE" = "emcc" ]; then exit 0 fi |