scripts/cargo.sh

   1 #!/bin/bash
   2
   3 dir=$(dirname "$0")
   4 source $dir/config.sh
   5
   6 # read nightly compiler from rust-toolchain file
   7 TOOLCHAIN=$(cat $dir/rust-toolchain)
   8
   9 cmd=$1
  10 shift || true
  11
  12 if [[ "$cmd" = "jit" ]]; then
  13 cargo +${TOOLCHAIN} rustc "$@" -- --jit
  14 else
  15 cargo +${TOOLCHAIN} $cmd "$@"
  16 fi