From 72ea46a29218a0a32095fddfe7aa6ef1feb7e927 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 30 Jan 2007 17:41:11 +0000 Subject: [PATCH] use getenv() instead of the _ENV var --- run-tests.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/run-tests.php b/run-tests.php index cc0cd63d818..4e0d9e63af1 100755 --- a/run-tests.php +++ b/run-tests.php @@ -704,8 +704,8 @@ if ($just_save_results || !getenv('NO_INTERACTION')) { if (substr(PHP_OS, 0, 3) != "WIN") { /* If PHP_AUTOCONF is set, use it; otherwise, use 'autoconf'. */ - if (!empty($_ENV['PHP_AUTOCONF'])) { - $autoconf = shell_exec($_ENV['PHP_AUTOCONF'] . ' --version'); + if (getenv('PHP_AUTOCONF')) { + $autoconf = shell_exec(getenv('PHP_AUTOCONF') . ' --version'); } else { $autoconf = shell_exec('autoconf --version'); }