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