diff -r 5e489c9fe47b -r b5f3e814a710 marking4/mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/marking4/mk	Fri Nov 30 14:13:11 2018 +0000
@@ -0,0 +1,28 @@
+#!/bin/sh
+###set -e
+
+trap "exit" INT
+
+files=${1:-assignment20178-*}
+
+for sd in $files; do
+  cd $sd
+  echo $sd
+  touch .
+  cp ../../../marking3/re_test.sh .
+  cp ../../../marking3/re1a_test.scala .
+  cp ../../../marking3/re1b_test.scala .
+  cp ../../../marking3/re1c_test.scala .
+  cp ../../../marking3/re1d_test.scala .
+  cp ../../../marking3/re1e_test.scala .
+  ./re_test.sh output
+  rm re_test.sh
+  rm re1a_test.scala
+  rm re1b_test.scala
+  rm re1c_test.scala
+  rm re1d_test.scala
+  rm re1e_test.scala
+  cd ..
+done
+
+