From d82ba30257991aeeefd6f393a38cdabdde98c692 Mon Sep 17 00:00:00 2001
From: notaz <notasas@gmail.com>
Date: Fri, 20 Mar 2015 22:41:03 +0200
Subject: [PATCH] run_imp: allow to specify mingw

---
 run_imp.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/run_imp.sh b/run_imp.sh
index 7c542be..665b3f9 100755
--- a/run_imp.sh
+++ b/run_imp.sh
@@ -1,6 +1,8 @@
 #!/bin/sh
 
-mingwb=i686-w64-mingw32
+# warning: i686-w64-mingw32- on Ubuntu 14.04
+# contains broken InterlockedDecrement
+test -n "$mingwb" || mingwb=i686-w64-mingw32
 
 target_s=$1
 src_asm=$2
-- 
2.39.5