diff --git a/regress/runtime b/regress/runtime index 6b8fdbb..b3fc52f 100755 --- a/regress/runtime +++ b/regress/runtime @@ -2,6 +2,15 @@ set -e +if [ "${SKIP_RUNTIME_TESTS}" -eq 1 ]; then + echo + echo "======================" + echo "runtime tests skipped!" + echo "======================" + echo + exit 0 +fi + ggflags= config_common='