diff --git a/tests/runtests.pl b/tests/runtests.pl index d905c9b7bc..298c7f60be 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -835,6 +835,36 @@ if($testthis[0] ne "") { $TESTCASES=join(" ", @testthis); } +############################################################################ +# +# don't let anyone think this works right now + +print <