diff options
| author | Edward Hervey <bilboed@bilboed.com> | 2014-02-04 13:21:20 +0000 |
|---|---|---|
| committer | Edward Hervey <bilboed@bilboed.com> | 2014-02-04 13:21:20 +0000 |
| commit | 435c41e0806f9b29e2c551ae7009d9f3f3402f7f (patch) | |
| tree | f10801b7f967e27aaf86f3fd18b1e5c39a1907c5 /config/darwin.config | |
| parent | ad41f0e017471eab799e663fb98ae5fce188e935 (diff) | |
darwin: Fix ccache setup
Diffstat (limited to 'config/darwin.config')
| -rw-r--r-- | config/darwin.config | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/config/darwin.config b/config/darwin.config index 2e32c2b2..63e2f396 100644 --- a/config/darwin.config +++ b/config/darwin.config @@ -104,5 +104,9 @@ if not os.path.exists(gl_headers_prefix): raise Exception ("GL headers path not found: %s" % gl_headers) if use_ccache: - os.environ['CC'] += 'ccache gcc' - os.environ['CXX'] += 'ccache g++' + comp = os.environ.get('CC', 'gcc') + if not 'ccache' in comp: + os.environ['CC'] = 'ccache ' + comp + comp = os.environ.get('CXX', 'g++') + if not 'ccache' in comp: + os.environ['CXX'] = 'ccache ' + comp |