testing3/mark
author pdated
Sat, 16 Jun 2018 20:54:58 +0100
changeset 184 19b1e01054f6
parent 153 316f9c6cc2ff
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
153
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
./re_test.sh output1
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
./bf_test.sh output2
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8