diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index f9c6897afd21161e319c43176b2eaa406d553189..f483e01a2634ae6574da0e2a8ed8e7f4c00fc374 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
maketest Test8
maketest Test9
maketest Test10
+maketest Test11