diff -r a6db2b70abdd -r 864107857d27 pre_marking1/mk --- a/pre_marking1/mk Thu Jan 13 12:55:03 2022 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,26 +0,0 @@ -#!/bin/bash -set -euo pipefail - -trap "exit" INT - -files=${1:-*/pre1} - -for sd in $files; do - cd $sd - echo $sd - sleep 5 - touch . - cp ../../../../../pre_marking1/collatz_test.sh . - cp ../../../../../pre_marking1/collatz_test1.scala . - cp ../../../../../pre_marking1/collatz_test2.scala . - cp ../../../../../pre_marking1/collatz_test3.scala . - ./collatz_test.sh output - rm collatz_test.sh - rm collatz_test1.scala - rm collatz_test2.scala - rm collatz_test3.scala - cd .. - cd .. -done - -