diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2015-09-27 16:31:19 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2015-09-27 16:31:19 +0200 |
| commit | be51861310ec8ceb7b1494c6a363f0c1fca75973 (patch) | |
| tree | 30f47fa941dc10d2766aa861a20ae74fd838ad80 /platform/windows | |
| parent | 7c1a79089ad8303c3b8f0fc243b0950854015759 (diff) | |
Hide stderr when trying to detect mingw binaries on posix
Diffstat (limited to 'platform/windows')
| -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")):
|