aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2021-06-10 23:03:09 +0200
committerNeels Hofmeyr <neels@hofmeyr.de>2021-07-14 23:52:50 +0200
commit85e13a946c39a6e994c74ae6de63cfd86e4a564a (patch)
tree01b04dd7cce054e3d91fadf4c4f31a45bfb393b3
parentf943d7f1c822ceba3ea8373d49d390d166eced6f (diff)
bsc/run.sh bsc/vamos_run.sh
-rwxr-xr-xbsc/run.sh6
-rwxr-xr-xbsc/vamos_run.sh6
2 files changed, 12 insertions, 0 deletions
diff --git a/bsc/run.sh b/bsc/run.sh
new file mode 100755
index 00000000..17b5fc4e
--- /dev/null
+++ b/bsc/run.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+set -xe
+make compile
+make -j 5
+../start-testsuite.sh BSC_Tests BSC_Tests.cfg $@
+../log_merge.sh BSC_Tests --rm
diff --git a/bsc/vamos_run.sh b/bsc/vamos_run.sh
new file mode 100755
index 00000000..48ce913b
--- /dev/null
+++ b/bsc/vamos_run.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+set -xe
+make compile
+make -j 5
+../start-testsuite.sh BSC_Tests BSC_Tests_VAMOS.cfg
+../log_merge.sh BSC_Tests --rm