diff options
author | Ralph Schindler <ralph@ralphschindler.com> | 2013-03-05 11:24:05 -0600 |
---|---|---|
committer | David Soria Parra <dsp@php.net> | 2013-03-07 23:20:11 +0100 |
commit | ac73ca6db4fca8273928856c8011ed13b83590b1 (patch) | |
tree | 4ade03fb40bae5f301e003baf360e668d7141e23 /win32 | |
parent | 0c11cab919d84bbd9af0472e99263ce7fbef8c32 (diff) | |
download | php-git-ac73ca6db4fca8273928856c8011ed13b83590b1.tar.gz |
Fix for https://bugs.php.net/bug.php?id=62649
Diffstat (limited to 'win32')
-rw-r--r-- | win32/build/mkdist.php | 2 |
1 files changed, 1 insertions, 1 deletions
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)) { |