diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/cargo.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/cargo.sh b/scripts/cargo.sh index e63daa40f35..947b4a28798 100755 --- a/scripts/cargo.sh +++ b/scripts/cargo.sh @@ -10,7 +10,7 @@ cmd=$1 shift || true if [[ "$cmd" = "jit" ]]; then -cargo +${TOOLCHAIN} rustc $@ -- --jit +cargo +${TOOLCHAIN} rustc "$@" -- --jit else -cargo +${TOOLCHAIN} $cmd $@ +cargo +${TOOLCHAIN} $cmd "$@" fi |