diff options
| author | bjorn3 <bjorn3@users.noreply.github.com> | 2020-11-07 19:34:01 +0100 |
|---|---|---|
| committer | bjorn3 <bjorn3@users.noreply.github.com> | 2020-11-07 19:34:01 +0100 |
| commit | 11dd005a88eeb6129c8c19ab02cba608d3b7d682 (patch) | |
| tree | 83ab1c8a93cc01ab8b186a10d4f0124b46f517fe | |
| parent | 9e1ac29cc94cf572d4a27e2f63615dec98df9b88 (diff) | |
| parent | 8a097f7b2c8caae3bbcbb80fed451eed066336a4 (diff) | |
| download | rust-11dd005a88eeb6129c8c19ab02cba608d3b7d682.tar.gz rust-11dd005a88eeb6129c8c19ab02cba608d3b7d682.zip | |
Sync from rust 0256d065d4901b63def6c04013da4f781d0752bb
| -rw-r--r-- | scripts/config.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/config.sh b/scripts/config.sh index f697b169de8..10c0ec0e293 100644 --- a/scripts/config.sh +++ b/scripts/config.sh @@ -1,3 +1,5 @@ +# Note to people running shellcheck: this file should only be sourced, not executed directly. + set -e unamestr=$(uname) |