marking/mk
author Christian Urban <urbanc@in.tum.de>
Mon, 21 Nov 2016 19:23:37 +0000
changeset 64 d6f97b562424
child 81 ff8d075842d5
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
for sd in k*; do
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
  cd $sd
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
  echo $sd
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
  ../mark
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
  cd ..
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
done
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
#scala -i collatz.scala -e "println(\"test\")"
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
#