diff -r 116fa3c8584f -r 1bd800376e0c pre_marking2/mk --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/pre_marking2/mk Wed Dec 02 01:15:14 2020 +0000 @@ -0,0 +1,28 @@ +#!/bin/bash +set -euo pipefail + + +trap "exit" INT + +files=${1:-*/pre2} + +for sd in $files; do + cd $sd + echo $sd + touch . + cp ../../../../../pre_marking2/docdiff_test.sh . + cp ../../../../../pre_marking2/docdiff_test1.scala . + cp ../../../../../pre_marking2/docdiff_test2.scala . + cp ../../../../../pre_marking2/docdiff_test3.scala . + cp ../../../../../pre_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 + +