diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index 0c0e0922d08a99eb1658597b4a2b17c0bcf62093..f36da1f47fac90c4c7c2a5a26acc3186b2aedc53 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
maketest Test11
maketest Test12
maketest Test13
maketest Test11
maketest Test12
maketest Test13
+maketest Test14
+maketest Test15