diff -r e3878cdd38bc -r 703c7e42bf46 marking4/mk
--- a/marking4/mk	Tue Feb 04 14:15:42 2020 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
-#!/bin/sh
-###set -e
-
-trap "exit" INT
-
-files=${1:-assignment20189-*}
-
-for sd in $files; do
-  cd $sd
-  echo $sd
-  touch .
-  cp ../../../marking4/re_test.sh .
-  cp ../../../marking4/re_test1.scala .
-  cp ../../../marking4/re_test2.scala .
-  cp ../../../marking4/re_test3.scala .
-  cp ../../../marking4/re_test4.scala .
-  cp ../../../marking4/re_test5.scala .
-  cp ../../../marking4/re_test6.scala .
-  ./re_test.sh output
-  rm re_test.sh
-  rm re_test1.scala
-  rm re_test2.scala
-  rm re_test3.scala
-  rm re_test4.scala
-  rm re_test5.scala
-  rm re_test6.scala
-  cd ..
-done
-
-