--- a/main_marking3/mk Thu Jan 13 12:55:03 2022 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,33 +0,0 @@
-#!/bin/sh
-###set -e
-
-trap "exit" INT
-
-files=${1:-*/main3}
-
-for sd in $files; do
- 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_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_test4.scala
- rm re_test5.scala
- rm re_test6.scala
- rm re_test7.scala
- cd ..
- cd ..
-done
-
-