marking2/mk
changeset 382 1bd800376e0c
parent 381 116fa3c8584f
child 383 c02929f2647c
--- a/marking2/mk	Mon Nov 30 12:58:37 2020 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/bin/bash
-set -euo pipefail
-
-
-trap "exit" INT
-
-files=${1:-assignment2019scala-*/Part7}
-
-for sd in $files; do
-  cd $sd
-  echo $sd
-  touch .
-  cp ../../../../../marking2/docdiff_test.sh .
-  cp ../../../../../marking2/docdiff_test1.scala .
-  cp ../../../../../marking2/docdiff_test2.scala .
-  cp ../../../../../marking2/docdiff_test3.scala .
-  cp ../../../../../marking2/docdiff_test4.scala .
-  ./docdiff_test.sh output
-  rm docdiff_test.sh
-  rm docdiff_test1.scala
-  rm docdiff_test2.scala
-  rm docdiff_test3.scala
-  rm docdiff_test4.scala
-  cd ..
-  cd ..
-done
-
-