summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/gcc5_sanitize.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci/jobs/gcc5_sanitize.sh')
-rwxr-xr-xtools/ci/jobs/gcc5_sanitize.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/ci/jobs/gcc5_sanitize.sh b/tools/ci/jobs/gcc5_sanitize.sh
index cdfed2102..4d70578bb 100755
--- a/tools/ci/jobs/gcc5_sanitize.sh
+++ b/tools/ci/jobs/gcc5_sanitize.sh
@@ -2,6 +2,14 @@
export CC=gcc-5
export CXX=g++-5
+
+if [ "$NEWCC" != "" ]; then
+ export CC="$NEWCC"
+fi
+if [ "$NEWCXX" != "" ]; then
+ export CXX="$NEWCXX"
+fi
+
export LOGFILE=gcc5_sanitize.log
source ./tools/ci/scripts/init.sh