diff options
Diffstat (limited to 'scripts/flags.sh')
-rwxr-xr-x | scripts/flags.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/flags.sh b/scripts/flags.sh index 58aee18a04..c3c36a6404 100755 --- a/scripts/flags.sh +++ b/scripts/flags.sh @@ -6,7 +6,8 @@ if [[ ${TRAVIS_OS_NAME} == "linux" ]]; then # use g++ that supports c++11 if [[ ${CXX} == "g++" ]]; then - export CXX="g++-4.8" ; + export CXX="g++-4.8" + export CXX="gcc-4.8" fi # If building in debug then turn on sanitizers. |