diff options
Diffstat (limited to 'azure-pipelines/build.sh')
| -rwxr-xr-x | azure-pipelines/build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/azure-pipelines/build.sh b/azure-pipelines/build.sh index 27e2f3e38..bec855d4a 100755 --- a/azure-pipelines/build.sh +++ b/azure-pipelines/build.sh @@ -13,6 +13,10 @@ BUILD_PATH=${BUILD_PATH:=$PATH} CMAKE=$(which cmake) CMAKE_GENERATOR=${CMAKE_GENERATOR:-Unix Makefiles} +if [[ "$(uname -s)" == MINGW* ]]; then + BUILD_PATH=$(cygpath "$BUILD_PATH") +fi + indent() { sed "s/^/ /"; } echo "Source directory: ${SOURCE_DIR}" |