diff -r 116fa3c8584f -r 1bd800376e0c marking2/mk --- 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 - -