Check if we know which php executable we should use

# Fixes weird test failures when TEST_PHP_EXECUTABLE isn't set

diff --git a/run-tests.php b/run-tests.php
index 2cd4885cddc6a9b2ef970eaa5972c7e5acd6ea61..1eaa62a8e05524e27a8d2efc7a09cdc91c12b4c9 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -519,6 +519,7 @@ HELP;
        // Run selected tests.
        $test_cnt = count($test_files);
        if ($test_cnt) {
+               verify_config();
                write_information($html_output);
                usort($test_files, "test_sort");
                $start_time = time();