Pass PHP_VERSION_ID to the extension test scripts

2020-10-18 19:29:55 +02:00 · 2020-10-18 19:29:55 +02:00 · 7520cb08b4
parent ed743db530
commit 7520cb08b4
1 changed files with 1 additions and 1 deletions
--- a/scripts/check-installed-extension.php
+++ b/scripts/check-installed-extension.php
@ -10,7 +10,7 @@ $testsDir = __DIR__ . '/tests';
 function runTest($testFile)
 {
    $rc = -1;
-    passthru($testFile, $rc);
+    passthru(escapeshellarg($testFile) . ' ' . PHP_VERSION_ID, $rc);

    return $rc === 0;
 }