diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-22 12:59:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-22 12:59:45 +0200 |
| commit | ee6c5c5c232f3b458e7e4130c0e771ea456a4eeb (patch) | |
| tree | 5dd3b42f1f3f56fb246941d00e9441bf4264b389 /methods.py | |
| parent | 3dd405c517da351873c1bec01e202a603cee5f75 (diff) | |
| parent | 2bf4553fe056c1fab5367dfae62426d3c7cf8168 (diff) | |
Merge pull request #6858 from zaps166/gcc-color-output
SCons: Use colored output if available, change "colored"->"verbose"
Diffstat (limited to 'methods.py')
| -rwxr-xr-x | methods.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/methods.py b/methods.py index c4951c69bd..477fe4f12f 100755 --- a/methods.py +++ b/methods.py @@ -1416,7 +1416,7 @@ def save_active_platforms(apnames,ap): logow.write(str) -def colored(sys,env): +def no_verbose(sys,env): #If the output is not a terminal, do nothing if not sys.stdout.isatty(): |