Check if we know which php executable we should use

# Fixes weird test failures when TEST_PHP_EXECUTABLE isn't set

1 files changed, 1 insertions, 0 deletions

diff --git a/run-tests.php b/run-tests.php
index 2cd4885cdd..1eaa62a8e0 100755
--- 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();