2019-07-30 13:37:47 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2020-11-02 18:16:57 +01:00
|
|
|
dir=$(dirname "$0")
|
|
|
|
source $dir/config.sh
|
2020-01-15 18:05:18 +01:00
|
|
|
|
|
|
|
# read nightly compiler from rust-toolchain file
|
2020-11-02 18:16:57 +01:00
|
|
|
TOOLCHAIN=$(cat $dir/rust-toolchain)
|
2019-07-30 13:37:47 +02:00
|
|
|
|
|
|
|
cmd=$1
|
2020-11-02 18:16:57 +01:00
|
|
|
shift || true
|
2019-07-30 13:37:47 +02:00
|
|
|
|
2020-09-29 18:41:59 +02:00
|
|
|
if [[ "$cmd" = "jit" ]]; then
|
|
|
|
cargo +${TOOLCHAIN} rustc $@ -- --jit
|
|
|
|
else
|
2020-04-20 17:13:43 +02:00
|
|
|
cargo +${TOOLCHAIN} $cmd $@
|
2020-09-29 18:41:59 +02:00
|
|
|
fi
|