Merged to master. Cheers, Ralf
Fix testsuite failure of check12.test without DejaGNU.
* tests/check12.test: Require runtest.
diff --git a/tests/check12.test b/tests/check12.test
index caa8e0f..34c8409 100755
--- a/tests/check12.test
+++ b/tests/check12.test
@@ -17,6 +17,7 @@
# Test to make sure dejagnu tests, automake-style tests, and check-local
# target can coexist.
+required=runtest
. ./defs || Exit 1
set -e
