diff options
author | Paul Smith <psmith@gnu.org> | 2007-10-10 13:22:21 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2007-10-10 13:22:21 +0000 |
commit | d22b4b7c01db4afb27bd89fbcf6cd9fd3f8b54bb (patch) | |
tree | 539b4f57dfb6dd6c01dbac48f1ad33eb7c127a2b /w32/pathstuff.c | |
parent | fa573c9d18eff6acebd06bd30edc91dd27538bed (diff) | |
download | make-d22b4b7c01db4afb27bd89fbcf6cd9fd3f8b54bb.tar.gz |
Fixes from Eli Zaretskii:
Fix to allow quoted directories in PATH.
Fix for Savannah bug #20549.
Diffstat (limited to 'w32/pathstuff.c')
-rw-r--r-- | w32/pathstuff.c | 8 |
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; } |