diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/cargo.sh | 4 | ||||
| -rw-r--r-- | scripts/config.sh | 1 |
2 files changed, 3 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 diff --git a/scripts/config.sh b/scripts/config.sh index af181f4f724..6120a550a27 100644 --- a/scripts/config.sh +++ b/scripts/config.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash set -e unamestr=`uname` |