diff options
-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 |