diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index f36da1f47fac90c4c7c2a5a26acc3186b2aedc53..28971d1a35cb6a974b48267dc2153951ee92acf4 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
maketest Test13
maketest Test14
maketest Test15
+maketest Test16