3 if [ -z $CHANNEL ]; then
4 export CHANNEL='release'
7 pushd $(dirname "$0") >/dev/null
8 source scripts/config.sh
10 # read nightly compiler from rust-toolchain file
11 TOOLCHAIN=$(cat rust-toolchain)
15 if [[ $(rustc -V) != $(rustc +${TOOLCHAIN} -V) ]]; then
16 echo "rustc_codegen_cranelift is build for $(rustc +${TOOLCHAIN} -V) but the default rustc version is $(rustc -V)."
17 echo "Using $(rustc +${TOOLCHAIN} -V)."
23 cargo +${TOOLCHAIN} $cmd $@