Use mixed cygpath paths

This commit is contained in:
Anthony Green
2018-03-27 08:10:03 -04:00
parent d3693b4665
commit 4f0c9cb39b

View File

@@ -147,13 +147,13 @@ do
shift 1 shift 1
;; ;;
-I) -I)
p=$(cygpath -w $2) p=$(cygpath -m $2)
args="$args -I$p" args="$args -I$p"
includes="$includes -I$p" includes="$includes -I$p"
shift 2 shift 2
;; ;;
-I*) -I*)
p=$(cygpath -w ${1#-I}) p=$(cygpath -m ${1#-I})
args="$args -I$p" args="$args -I$p"
includes="$includes -I$p" includes="$includes -I$p"
shift 1 shift 1