marking3/compare
author Christian Urban <urbanc@in.tum.de>
Wed, 30 Oct 2019 12:37:18 +0000
changeset 286 5c57c407e27b
parent 244 a359976a6f3e
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
244
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
files=${1:-assignment20188-*}
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
for sd in $files; do
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
  cd $sd
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
  cp output output1
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
  #cmp -s output output1 > /dev/null
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
  #if [ $? -eq 1 ]; then
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
  #    echo $sd + "is different"
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
  #fi
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
  cd ..
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
done
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
a359976a6f3e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18