diff -r c3d3461a5e77 -r e3878cdd38bc marking1/drumb_test.sh --- a/marking1/drumb_test.sh Tue Feb 04 11:20:31 2020 +0000 +++ b/marking1/drumb_test.sh Tue Feb 04 14:15:42 2020 +0000 @@ -1,4 +1,6 @@ #!/bin/bash + +# to make the script fail safely set -euo pipefail out=${1:-output} @@ -25,13 +27,13 @@ # compilation tests function scala_compile { - (ulimit -t 60; JAVA_OPTS="-Xmx1g" scala "$1" 2> /dev/null 1> /dev/null) + (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala "$1" 2> /dev/null 1> /dev/null) } # functional tests function scala_assert { - (ulimit -t 60; JAVA_OPTS="-Xmx4g" scala -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null) + (ulimit -t 30; JAVA_OPTS="-Xmx4g" scala -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null) }