#!/bin/bash
if [ -z $CHANNEL ]; then
-export CHANNEL='debug'
+export CHANNEL='release'
fi
pushd $(dirname "$0") >/dev/null
popd >/dev/null
+if [[ $(rustc -V) != $(rustc +${TOOLCHAIN} -V) ]]; then
+ echo "rustc_codegen_cranelift is build for $(rustc +${TOOLCHAIN} -V) but the default rustc version is $(rustc -V)."
+ echo "Using $(rustc +${TOOLCHAIN} -V)."
+fi
+
cmd=$1
shift
-cargo +${TOOLCHAIN} $cmd --target $TARGET_TRIPLE $@
+cargo +${TOOLCHAIN} $cmd $@