From e4bcc3fb485acfe721dc8eb352c36f97c1a3aa8b Mon Sep 17 00:00:00 2001
From: Henrique do Nascimento Angelo <hnangelo@php.net>
Date: Thu, 12 Jun 2008 21:59:25 +0000
Subject: [PATCH] Fix the script to correctly determine the extensions to be
 tested

---
 run-tests.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-tests.php b/run-tests.php
index ec8e5e4393..eb6a56277d 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -218,7 +218,7 @@ More .INIs  : " , (function_exists(\'php_ini_scanned_files\') ? str_replace("\n"
 
 	// load list of enabled extensions
 	save_text($info_file, '<?php echo join(",", get_loaded_extensions()); ?>');
-	$exts_to_test = explode(', ',`$php $pass_options $info_params "$info_file"`);
+	$exts_to_test = explode(',',`$php $pass_options $info_params "$info_file"`);
 	// check for extensions that need special handling and regenerate
 	$info_params_ex = array(
 		'session' => array('session.auto_start=0'),
-- 
2.50.1