build.sh: Support MINGW64 as 64bit Windows.

[factor.git] / build.sh

diff --git a/build.sh b/build.sh
index bfa7e8c3315a9a2e4990981c5f3309e5bf07df3a..fd6587267de922a381761827031df2f522eb110c 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -274,6 +274,7 @@ find_os() {
         *CYGWIN_NT*) OS=windows;;
         *CYGWIN*) OS=windows;;
         MINGW32*) OS=windows;;
+        MINGW64*) OS=windows;;
         MSYS_NT*) OS=windows;;
         *darwin*) OS=macosx;;
         *Darwin*) OS=macosx;;