tools/ci/jobs/any_compiler.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#!/bin/bash

if [ "$NEWCC" != "" ]; then
    export CC="$NEWCC"
fi
if [ "$NEWCXX" != "" ]; then
    export CXX="$NEWCXX"
fi

source ./tools/ci/scripts/init.sh

do_init
run_configure $*
run_make

source ./tools/ci/scripts/exit.sh

exit 0