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
commit2a23064da537eec5520495fa7033ab66cd8e5bfe (patch)
tree539b4f57dfb6dd6c01dbac48f1ad33eb7c127a2b /w32
parente54dfb428420943a73e3b2098dc5c694c4fdf58d (diff)
downloadgunmake-2a23064da537eec5520495fa7033ab66cd8e5bfe.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 0622349..6f712d1 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;
}