testing4/mark
author Christian Urban <urbanc@in.tum.de>
Tue, 27 Nov 2018 21:41:59 +0000
changeset 218 22705d22c105
parent 215 438459a8e48b
child 220 3020f8c76baa
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
218
22705d22c105 updated
Christian Urban <urbanc@in.tum.de>
parents: 215
diff changeset
     1
#!/bin/bash
153
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
./re_test.sh output1
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
./bf_test.sh output2
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8