diff options
author | Juan Linietsky <reduzio@gmail.com> | 2015-09-27 11:41:44 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2015-09-27 11:41:44 -0300 |
commit | f141df95a65b00bc4485518748c84303012a701f (patch) | |
tree | 30f47fa941dc10d2766aa861a20ae74fd838ad80 | |
parent | afbb0ca8d7d978f27c62271273a1a6bc866a73ce (diff) | |
parent | be51861310ec8ceb7b1494c6a363f0c1fca75973 (diff) |
Merge pull request #2546 from akien-mga/windows-stderr
Hide stderr when trying to detect mingw binaries on posix
-rw-r--r-- | platform/windows/detect.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/platform/windows/detect.py b/platform/windows/detect.py index 0fe4f9f3b5..ddd7c1318e 100644 --- a/platform/windows/detect.py +++ b/platform/windows/detect.py @@ -134,8 +134,8 @@ def can_build(): if (os.getenv("MINGW64_PREFIX")):
mingw64=os.getenv("MINGW64_PREFIX")
- test = "gcc --version >/dev/null"
- if os.system(mingw+test) == 0 or os.system(mingw64+test) ==0 or os.system(mingw32+test) ==0 :
+ test = "gcc --version &>/dev/null"
+ if (os.system(mingw+test) == 0 or os.system(mingw64+test) == 0 or os.system(mingw32+test) == 0):
return True
return False
@@ -150,7 +150,7 @@ def get_opts(): mingw32 = "i686-w64-mingw32-"
mingw64 = "x86_64-w64-mingw32-"
- if os.system(mingw32+"gcc --version >/dev/null") != 0 :
+ if os.system(mingw32+"gcc --version &>/dev/null") != 0 :
mingw32 = mingw
if (os.getenv("MINGW32_PREFIX")):
|