marking4/mk
author Christian Urban <urbanc@in.tum.de>
Fri, 14 Dec 2018 14:41:54 +0000
changeset 245 975d34506e88
parent 227 b5f3e814a710
child 246 178438912e5f
permissions -rwxr-xr-x
added marking

#!/bin/sh
###set -e

trap "exit" INT

files=${1:-assignment20179-*}

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