From ac73ca6db4fca8273928856c8011ed13b83590b1 Mon Sep 17 00:00:00 2001 From: Ralph Schindler Date: Tue, 5 Mar 2013 11:24:05 -0600 Subject: [PATCH] Fix for https://bugs.php.net/bug.php?id=62649 --- win32/build/mkdist.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php index 5ed9bdc81a..947af9fbe3 100644 --- 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)) { -- 2.40.0