diff options
author | Mitya Selivanov <automainint@guattari.tech> | 2024-01-13 02:43:35 +0100 |
---|---|---|
committer | Mitya Selivanov <automainint@guattari.tech> | 2024-01-13 02:43:35 +0100 |
commit | 84908dbff43e195b9f106a98feba162f814af2c5 (patch) | |
tree | 6ca57be87dcf01d08bd7f62e4bf4ea78ef3e3459 | |
parent | 0524211739243c0bdf5172f9a113495b1edb7870 (diff) | |
download | kit-84908dbff43e195b9f106a98feba162f814af2c5.zip |
Update build script
-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 |