diff options
author | PrzemekWirkus <przemyslaw.wirkus@arm.com> | 2017-11-13 12:53:32 +0000 |
---|---|---|
committer | Przemyslaw Wirkus <przemyslaw.wirkus@linaro.org> | 2017-11-13 14:19:24 +0000 |
commit | f06e07d4b249d8339085d3cfae65471ea43fd5ce (patch) | |
tree | aa6cc23f7c3d1fdc6a671a589d497c5f06761b5e /bug-1925 | |
parent | e6c451aa97df0d24b0e680f4dea078dd6eab1922 (diff) |
Skip mingw32 host builds for bug-1925
Change-Id: I4cf89e27639421c40164f76d973c763dc0ab7811
Diffstat (limited to 'bug-1925')
-rwxr-xr-x | bug-1925/build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bug-1925/build.sh b/bug-1925/build.sh index cabdd4b..96c42ad 100755 --- a/bug-1925/build.sh +++ b/bug-1925/build.sh @@ -20,6 +20,11 @@ case ${TARGET} in ;; esac +case ${HOST} in + *mingw32) + skip=true + ;; +esac if $skip; then echo "$(basename $(pwd)): SKIP" > result.txt |