From: Ian Lynagh <igloo@earth.li>
Date: Wed, 23 Jan 2008 16:01:39 +0000 (+0000)
Subject: Fix setting argv[0] in shell-utils.c on Windows
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=bf93e4a1b9750979dd8b7ed45a25adaac84f91a1;p=ghc-hetmet.git

Fix setting argv[0] in shell-utils.c on Windows
---

diff --git a/includes/shell-tools.c b/includes/shell-tools.c
index 4aebaf9..82c22d3 100644
--- a/includes/shell-tools.c
+++ b/includes/shell-tools.c
@@ -57,7 +57,7 @@ int run(char *this, char *program, int argc, char** argv) {
   
     /* Compute length of the flattened 'argv', including spaces! */
     cmdline_len = 0;
-    for(i = 1; i < argc; i++) {
+    for(i = 0; i < argc; i++) {
         /* Note: play it safe and quote all argv strings */
         /* In the worst case we have to escape every character with a \ */
         cmdline_len += 1 + 2 * strlen(argv[i]) + 2;
@@ -69,7 +69,7 @@ int run(char *this, char *program, int argc, char** argv) {
     }
 
     ptr = new_cmdline;
-    for(i = 1; i < argc; i++) {
+    for(i = 0; i < argc; i++) {
         *ptr++ = ' ';
         *ptr++ = '"';
         src = argv[i];
@@ -83,6 +83,7 @@ int run(char *this, char *program, int argc, char** argv) {
         *ptr++ = '"';
     }
     *ptr = '\0';
+    new_cmdline = new_cmdline + 1; /* Skip the leading space */
 
     /* Note: Used to use _spawnv(_P_WAIT, ...) here, but it suffered
        from the parent intercepting console events such as Ctrl-C,