diff options
| -rw-r--r-- | testsuite/driver/runtests.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/driver/runtests.py b/testsuite/driver/runtests.py index cc55dadb61..571165a290 100644 --- a/testsuite/driver/runtests.py +++ b/testsuite/driver/runtests.py @@ -139,9 +139,9 @@ if windows: h.close() if v.startswith("CYGWIN"): config.cygwin = True - elif v.startswith("MINGW"): + elif v.startswith("MINGW") or v.startswith("MSYS"): # msys gives "MINGW32" -# msys2 gives "MINGW_NT-6.2" +# msys2 gives "MINGW_NT-6.2" or "MSYS_NT-6.3" config.msys = True else: raise Exception("Can't detect Windows terminal type") |