We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e9e0c56 commit 2f7c65eCopy full SHA for 2f7c65e
make/scripts/fixpath.sh
@@ -326,7 +326,9 @@ function convert_path() {
326
suffix="${BASH_REMATCH[6]}"
327
328
# We only believe this is a path if the first part is an existing directory
329
- if [[ -d "/$firstdir" ]]; then
+ # and the prefix is not a subdirectory in the current working directory. Remove
330
+ # any part leading up to a : or = in the prefix before checking.
331
+ if [[ -d "/$firstdir" && ! -d "${prefix##*:}" && ! -d "${prefix##*=}" ]]; then
332
if [[ $ENVROOT == "" ]]; then
333
if [[ $QUIET != true ]]; then
334
echo fixpath: failure: Path "'"$pathmatch"'" cannot be converted to Windows path >&2
0 commit comments