summaryrefslogtreecommitdiff
path: root/w32
diff options
context:
space:
mode:
authorPaul Smith <psmith@gnu.org>2007-10-10 13:22:21 +0000
committerPaul Smith <psmith@gnu.org>2007-10-10 13:22:21 +0000
commitd22b4b7c01db4afb27bd89fbcf6cd9fd3f8b54bb (patch)
tree539b4f57dfb6dd6c01dbac48f1ad33eb7c127a2b /w32
parentfa573c9d18eff6acebd06bd30edc91dd27538bed (diff)
downloadmake-d22b4b7c01db4afb27bd89fbcf6cd9fd3f8b54bb.tar.gz
Fixes from Eli Zaretskii:
Fix to allow quoted directories in PATH. Fix for Savannah bug #20549.
Diffstat (limited to 'w32')
-rw-r--r--w32/pathstuff.c8
1 files changed, 7 insertions, 1 deletions
diff --git a/w32/pathstuff.c b/w32/pathstuff.c
index 06223497..6f712d1f 100644
--- a/w32/pathstuff.c
+++ b/w32/pathstuff.c
@@ -70,11 +70,17 @@ convert_Path_to_windows32(char *Path, char to_delim)
} else
/* all finished, force abort */
p += strlen(p);
+ } else if (*p == '"') { /* a quoted directory */
+ for (p++; *p && *p != '"'; p++) /* skip quoted part */
+ ;
+ etok = strpbrk(p, ":;"); /* find next delimiter */
+ *etok = to_delim;
+ p = ++etok;
} else {
/* found another one, no drive letter */
*etok = to_delim;
p = ++etok;
- }
+ }
return Path;
}