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 /platform/server/detect.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 'platform/server/detect.py')
| -rw-r--r-- | platform/server/detect.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/platform/server/detect.py b/platform/server/detect.py index 2f6fb00e0d..ce14100fd0 100644 --- a/platform/server/detect.py +++ b/platform/server/detect.py @@ -38,9 +38,6 @@ def configure(env): env["CC"]="clang" env["CXX"]="clang++" env["LD"]="clang++" - if (env["colored"]=="yes"): - if sys.stdout.isatty(): - env.Append(CXXFLAGS=["-fcolor-diagnostics"]) is64=sys.maxsize > 2**32 |