diff -r 5e489c9fe47b -r b5f3e814a710 marking3/mk
--- a/marking3/mk	Fri Nov 30 13:06:09 2018 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/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
-
-