main_marking3/mk_main3
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 17 Dec 2022 12:42:49 +0000
changeset 455 557d18cce0f0
parent 424 daf561a83ba6
child 463 0315d9983cd0
permissions -rwxr-xr-x
updated

#!/bin/bash
###set -e

trap "exit" INT

files=${1:-*/main3}

for sd in $files; do
  echo -e "\n"  
  cd $sd
  echo $sd
  touch .
  cp ../../../../../main_marking3/re_test.sh .
  cp ../../../../../main_marking3/re_test1.scala .
  cp ../../../../../main_marking3/re_test2.scala .
  cp ../../../../../main_marking3/re_test3.scala .
  cp ../../../../../main_marking3/re_test3a.scala .
  cp ../../../../../main_marking3/re_test4.scala .
  cp ../../../../../main_marking3/re_test5.scala .
  cp ../../../../../main_marking3/re_test6.scala .
  cp ../../../../../main_marking3/re_test7.scala .
  ./re_test.sh output
  rm re_test.sh
  rm re_test1.scala
  rm re_test2.scala
  rm re_test3.scala
  rm re_test3a.scala
  rm re_test4.scala
  rm re_test5.scala
  rm re_test6.scala
  rm re_test7.scala
  cd ..
  cd ..
done