diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index d809c75a049eba6821cf82b0fbe0a4ef2be4e278..404c84011aacac3002ce19ea23b0fe738c7d3e4e 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
maketest Test4
maketest Test5
maketest Test6
+maketest Test7