2022-04-14 07:12:06 -05:00
|
|
|
#!/usr/bin/env bash
|
2020-05-10 09:54:30 -05:00
|
|
|
|
|
|
|
if [ -z $CHANNEL ]; then
|
|
|
|
export CHANNEL='debug'
|
|
|
|
fi
|
|
|
|
|
|
|
|
pushd $(dirname "$0") >/dev/null
|
|
|
|
source config.sh
|
|
|
|
|
|
|
|
# read nightly compiler from rust-toolchain file
|
2022-01-24 12:45:38 -06:00
|
|
|
TOOLCHAIN=$(cat rust-toolchain | grep channel | sed 's/channel = "\(.*\)"/\1/')
|
2020-05-10 09:54:30 -05:00
|
|
|
|
|
|
|
popd >/dev/null
|
|
|
|
|
2023-10-27 09:55:40 -05:00
|
|
|
if [[ $(${RUSTC} -V) != $(${RUSTC} +${TOOLCHAIN} -V) ]]; then
|
2020-05-10 09:54:30 -05:00
|
|
|
echo "rustc_codegen_gcc is build for $(rustc +${TOOLCHAIN} -V) but the default rustc version is $(rustc -V)."
|
|
|
|
echo "Using $(rustc +${TOOLCHAIN} -V)."
|
|
|
|
fi
|
|
|
|
|
|
|
|
cmd=$1
|
|
|
|
shift
|
|
|
|
|
2022-03-26 08:21:03 -05:00
|
|
|
RUSTDOCFLAGS="$RUSTFLAGS" cargo +${TOOLCHAIN} $cmd $@
|