diff --git a/tests/playTests.sh b/tests/playTests.sh index 99325976a..c84cd6a1b 100755 --- a/tests/playTests.sh +++ b/tests/playTests.sh @@ -78,6 +78,11 @@ println() { printf '%b\n' "${*}" } +if [ -z "${size}" ]; then + size= +else + size=${size} +fi SCRIPT_DIR=$(cd "$(dirname "$0")" && pwd) PRGDIR="$SCRIPT_DIR/../programs"