cargo.sh

   1 #!/bin/bash
   2
   3 if [ -z $CHANNEL ]; then
   4 export CHANNEL='debug'
   5 fi
   6
   7 pushd $(dirname "$0") >/dev/null
   8 source config.sh
   9
  10 # read nightly compiler from rust-toolchain file
  11 TOOLCHAIN=$(cat rust-toolchain)
  12
  13 popd >/dev/null
  14
  15 if [[ $(rustc -V) != $(rustc +${TOOLCHAIN} -V) ]]; then
  16     echo "rustc_codegen_gcc is build for $(rustc +${TOOLCHAIN} -V) but the default rustc version is $(rustc -V)."
  17     echo "Using $(rustc +${TOOLCHAIN} -V)."
  18 fi
  19
  20 cmd=$1
  21 shift
  22
  23 RUSTDOCFLAGS="$RUSTFLAGS" cargo +${TOOLCHAIN} $cmd --target $TARGET_TRIPLE $@