Fix for https://bugs.php.net/bug.php?id=62649

diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php
index 5ed9bdc81a0981d2a8de68fad942e7efe758cd27..947af9fbe3a1c10b8f3060529905fda4cec7534b 100644 (file)
--- a/win32/build/mkdist.php
+++ b/win32/build/mkdist.php
@@ -443,7 +443,7 @@ function make_phar_dot_phar($dist_dir)
        $phar->setStub(implode('', $stub));
 
        echo "Creating phar.phar.bat\n";
-       file_put_contents($dist_dir . '/phar.phar.bat', "%~dp0php.exe %~dp0pharcommand.phar %*\r\n");
+       file_put_contents($dist_dir . '/phar.phar.bat', "\"%~dp0php.exe\" \"%~dp0pharcommand.phar\" %*\r\n");
 }
 
 if (!is_dir($test_dir)) {