diff --git a/testing/Scripts/strip-test-base b/testing/Scripts/strip-test-base index 867e39d1..a8ffe992 100755 --- a/testing/Scripts/strip-test-base +++ b/testing/Scripts/strip-test-base @@ -3,4 +3,9 @@ dir=$(dirname "$0") testbase=$(cd "$dir/.." && pwd) + +if [ "$(uname -s | cut -c 1-5)" == "MINGW" ]; then + testbase=$(echo "${testbase}" | sed 's#/\([a-zA-Z]\)/\(.*\)#\u\1:/\2#') +fi + sed "s#${testbase}#<...>#g"