diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index da13a65b4dd5b8f39e4294220dcb57a9257d4a01..28971d1a35cb6a974b48267dc2153951ee92acf4 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
maketest Test7
maketest Test8
maketest Test9
maketest Test7
maketest Test8
maketest Test9
+maketest Test10
+maketest Test11
+maketest Test12
+maketest Test13
+maketest Test14
+maketest Test15
+maketest Test16