--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_marking3/mk_main3	Mon Apr 11 23:55:27 2022 +0100
@@ -0,0 +1,36 @@
+#!/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
+
+