diff options
-rw-r--r-- | testsuite/config/ghc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index 4cf62776ab..36b987ce25 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -221,7 +221,7 @@ def get_compiler_info(): '{} -v0 {} -o test '.format(config.compiler, src) + ' '.join(flags), shell=True, cwd=d, - stderr=None if config.verbose >= 2 else subprocess.DEVNULL) + stderr=None if config.verbose >= 3 else subprocess.DEVNULL) res = p.returncode return res == 0 |