diff --git a/CI/ci-linux-prepare.sh b/CI/ci-linux-prepare.sh index 48929405..c9168b51 100755 --- a/CI/ci-linux-prepare.sh +++ b/CI/ci-linux-prepare.sh @@ -15,9 +15,9 @@ if [ "$COMPILER" == "gcc" ]; then BUILDPATH="gcc" # without icecc: no options required - OPTIONS="$OPTIONS -DCMAKE_CXX_COMPILER=/usr/bin/g++ -DCMAKE_C_COMPILER=/usr/bin/gcc" + OPTIONS="$OPTIONS -DCMAKE_CXX_COMPILER=/usr/lib/icecc/bin/g++ -DCMAKE_C_COMPILER=/usr/lib/icecc/bin/gcc" MAKE_OPTIONS="-j16" - export ICECC_CXX=/usr/bin/g++ ; export ICECC_CC=/usr/bin/gcc + export ICECC_CXX= /usr/lib/icecc/bin/g++ ; export ICECC_CC=/usr/lib/icecc/bin/gcc elif [ "$COMPILER" == "clang" ]; then