From 8af3266dfea06cced6ac1485ef13274580eed5b2 Mon Sep 17 00:00:00 2001
From: Hrvoje Jasak <h.jasak@wikki.co.uk>
Date: Thu, 27 Aug 2015 17:01:16 +0100
Subject: [PATCH] Windows port: rename arch to mingw

---
 etc/bashrc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/bashrc b/etc/bashrc
index fcec623d6..07ed3283d 100755
--- a/etc/bashrc
+++ b/etc/bashrc
@@ -202,7 +202,7 @@ export WM_ARCH=`uname -s`
 
 case $WM_ARCH in
 MINGW32_NT-6.1)
-    WM_ARCH=MINGW32_NT-6.1
+    WM_ARCH=mingw
     export WM_ARCH_BASE=mingw
     export WM_COMPILER_LIB_ARCH=64
     export WM_CFLAGS='-m64 -fPIC'
@@ -211,7 +211,7 @@ MINGW32_NT-6.1)
     ;;
 
 MINGW32_NT-6.2)
-    WM_ARCH=MINGW32_NT-6.2
+    WM_ARCH=mingw
     export WM_ARCH_BASE=mingw
     export WM_COMPILER_LIB_ARCH=64
     export WM_CFLAGS='-m64 -fPIC'