MFH:

Use %* instead of a range + WS

diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php
index c92028dd8513c35be90544938b402bae8e19033e..83b66b5c6da9b73c33a6d1496d95d64e15f696b3 100644 (file)
--- a/win32/build/mkdist.php
+++ b/win32/build/mkdist.php
@@ -397,23 +397,32 @@ function copy_test_dir($directory, $dest)
 
 function make_phar_dot_phar($dist_dir)
 {
-  if (!extension_loaded('phar')) return;
-  $path_to_php = $dist_dir;
-  $path_to_phar = realpath(__DIR__ . '/../../ext/phar');
-  echo "Generating pharcommand.phar\n";
-  $phar = new Phar($path_to_php . '/pharcommand.phar', 0, 'pharcommand');
-  foreach (new DirectoryIterator($path_to_phar . '/phar') as $file) {
-    if ($file->isDir() || $file == 'phar.php') continue;
-    echo 'adding ', $file, "\n";
-    $phar[(string) $file] = file_get_contents($path_to_phar.  '/phar/' . $file);
-  }
-  $phar->setSignatureAlgorithm(Phar::SHA1);
-  $stub = file($path_to_phar . '/phar/phar.php');
-  unset($stub[0]); // remove hashbang
-  $phar->setStub(implode('', $stub));
-
-  echo "Creating phar.phar.bat\n";
-  file_put_contents($path_to_php . '/phar.phar.bat', "%~dp0php.exe %~dp0pharcommand.phar %1 %2 %3 %4 %5 %6 %7 %8 %9\r\n");
+       if (!extension_loaded('phar')) {
+               return;
+       }
+
+       $path_to_phar = realpath(__DIR__ . '/../../ext/phar');
+
+       echo "Generating pharcommand.phar\n";
+       $phar = new Phar($dist_dir . '/pharcommand.phar', 0, 'pharcommand');
+
+       foreach (new DirectoryIterator($path_to_phar . '/phar') as $file) {
+               if ($file->isDir() || $file == 'phar.php') {
+                       continue;
+               }
+
+               echo 'adding ', $file, "\n";
+               $phar[(string) $file] = file_get_contents($path_to_phar.  '/phar/' . $file);
+       }
+
+       $phar->setSignatureAlgorithm(Phar::SHA1);
+       $stub = file($path_to_phar . '/phar/phar.php');
+
+       unset($stub[0]); // remove hashbang
+       $phar->setStub(implode('', $stub));
+
+       echo "Creating phar.phar.bat\n";
+       file_put_contents($dist_dir . '/phar.phar.bat', "%~dp0php.exe %~dp0pharcommand.phar %*\r\n");
 }
 
 if (!is_dir($test_dir)) {