From 6a4d430e608fe1d2f8a72fdb682de1d163c641fe Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Mon, 4 Nov 2013 14:27:09 -0800
Subject: Choose Windows file operations with MINGW32.

---
 src/misc/util/utilFile.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/misc')

diff --git a/src/misc/util/utilFile.c b/src/misc/util/utilFile.c
index 41438c57..c5c5a08f 100644
--- a/src/misc/util/utilFile.c
+++ b/src/misc/util/utilFile.c
@@ -25,7 +25,7 @@
 #include <fcntl.h>
 #include <sys/stat.h>
 
-#if defined(_MSC_VER)
+#if defined(_MSC_VER) || defined(__MINGW32__)
 #include <Windows.h>
 #include <process.h>
 #include <io.h>
@@ -88,7 +88,7 @@ static ABC_UINT64_T realTimeAbs()  // -- absolute time in nano-seconds
 ***********************************************************************/
 int tmpFile(const char* prefix, const char* suffix, char** out_name)
 {
-#if defined(_MSC_VER)
+#if defined(_MSC_VER) || defined(__MINGW32__)
     int i, fd;
     *out_name = (char*)malloc(strlen(prefix) + strlen(suffix) + 27);
     for (i = 0; i < 10; i++){
@@ -174,7 +174,7 @@ char* vnsprintf(const char* format, va_list args)
     static FILE* dummy_file = NULL;
     if (!dummy_file)
     {
-#if !defined(_MSC_VER)
+#if !defined(_MSC_VER) && !defined(__MINGW32)
         dummy_file = fopen("/dev/null", "wb");
 #else
         dummy_file = fopen("NUL", "wb");
-- 
cgit v1.2.3