marking1/drumb_test.sh
changeset 331 e3878cdd38bc
parent 330 c3d3461a5e77
child 333 24bc76d97db2
--- 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)
 }