diff --git a/config/tools/run_test-oglplus b/config/tools/run_test-oglplus index 3e054b7c2..13a750ae3 100755 --- a/config/tools/run_test-oglplus +++ b/config/tools/run_test-oglplus @@ -11,17 +11,34 @@ shift test_src_dir="$(