core_marking1/mk_core1
author Christian Urban <christian.urban@kcl.ac.uk>
Wed, 02 Nov 2022 21:49:42 +0000
changeset 430 274c865b3878
parent 424 daf561a83ba6
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
382
1bd800376e0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 376
diff changeset
     1
#!/bin/bash
1bd800376e0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 376
diff changeset
     2
set -euo pipefail
373
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
trap "exit" INT
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
424
Christian Urban <christian.urban@kcl.ac.uk>
parents: 382
diff changeset
     6
files=${1:-*/core1}
373
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
for sd in $files; do
424
Christian Urban <christian.urban@kcl.ac.uk>
parents: 382
diff changeset
     9
  echo -e "\n"
373
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
  cd $sd
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
  echo $sd
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
  touch .
424
Christian Urban <christian.urban@kcl.ac.uk>
parents: 382
diff changeset
    13
  cp ../../../../../core_marking1/collatz_test.sh .
Christian Urban <christian.urban@kcl.ac.uk>
parents: 382
diff changeset
    14
  cp ../../../../../core_marking1/collatz_test1.scala .
Christian Urban <christian.urban@kcl.ac.uk>
parents: 382
diff changeset
    15
  cp ../../../../../core_marking1/collatz_test2.scala .
Christian Urban <christian.urban@kcl.ac.uk>
parents: 382
diff changeset
    16
  cp ../../../../../core_marking1/collatz_test3.scala .
374
90b267768329 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 373
diff changeset
    17
  ./collatz_test.sh output
373
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
  rm collatz_test.sh
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
  rm collatz_test1.scala
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
  rm collatz_test2.scala
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
  rm collatz_test3.scala
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
  cd ..
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
  cd ..
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
done
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    25
d29cd5883c7b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26