diff options
Diffstat (limited to 'include/makeinclude/platform_linux.GNU')
-rw-r--r-- | include/makeinclude/platform_linux.GNU | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/makeinclude/platform_linux.GNU b/include/makeinclude/platform_linux.GNU index 71ef0089b3a..0f812aa852b 100644 --- a/include/makeinclude/platform_linux.GNU +++ b/include/makeinclude/platform_linux.GNU @@ -80,8 +80,8 @@ ifeq ($(insure),1) CC = insure CXX = insure else - CC = gcc - CXX = g++ + CC ?= gcc + CXX ?= g++ endif # fix this |