diff options
-rw-r--r-- | config/linux.config | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/config/linux.config b/config/linux.config index 174a512b..381bb33c 100644 --- a/config/linux.config +++ b/config/linux.config @@ -28,5 +28,9 @@ os.environ['am_cv_python_pyexecdir'] = '%s/%s/site-packages' % (prefix, py_prefi os.environ['am_cv_python_pythondir'] = '%s/%s/site-packages' % (prefix, py_prefix) 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 |