diff options
Diffstat (limited to 'ci/test.sh')
| -rwxr-xr-x | ci/test.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/ci/test.sh b/ci/test.sh index d86fb3cf0..e8bd22e03 100755 --- a/ci/test.sh +++ b/ci/test.sh @@ -104,8 +104,18 @@ run_test() { indent() { sed "s/^/ /"; } +cygfullpath() { + result=$(echo "${1}" | tr \; \\n | while read -r element; do + if [ "${last}" != "" ]; then echo -n ":"; fi + echo -n $(cygpath "${element}") + last="${element}" + done) + if [ "${result}" = "" ]; then exit 1; fi + echo "${result}" +} + if [[ "$(uname -s)" == MINGW* ]]; then - BUILD_PATH=$(cygpath "$BUILD_PATH") + BUILD_PATH=$(cygfullpath "$BUILD_PATH") fi |