Commit Diff


commit - 8c9b8f487e9efd3eab489d205fd55d97da34a6c3
commit + bffa7daab8d1a54cf099287cbc0ce443fea4c0d0
blob - 6b8fdbbeda97ecfcec95bc0e20986efbb6606c92
blob + b3fc52f71c32825a3c44a61fd7e7d38a8038dbce
--- regress/runtime
+++ 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='