1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
#!/usr/bin/env 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