diff options
| author | MikaelUrankar <49529234+MikaelUrankar@users.noreply.github.com> | 2022-04-14 14:18:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-14 14:18:13 +0200 |
| commit | 83d470d91c15d0cb5890705291e6ee9e5be8a842 (patch) | |
| tree | 812a2feea6b90a72ef408bba4f66f587d66ef0cf | |
| parent | 557a09f6b543ec36597d2dfdf1d26262a3a4b235 (diff) | |
| download | rust-83d470d91c15d0cb5890705291e6ee9e5be8a842.tar.gz rust-83d470d91c15d0cb5890705291e6ee9e5be8a842.zip | |
Don't assume /bin/bash is available on every system. (#1223)
Co-authored-by: MikaelUrankar <mikael.urankar@gmail.com>
| -rwxr-xr-x | scripts/filter_profile.rs | 2 | ||||
| -rw-r--r-- | scripts/setup_rust_fork.sh | 2 | ||||
| -rwxr-xr-x | scripts/test_rustc_tests.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/scripts/filter_profile.rs b/scripts/filter_profile.rs index a0e99267c2b..f4e863e5494 100755 --- a/scripts/filter_profile.rs +++ b/scripts/filter_profile.rs @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash #![forbid(unsafe_code)]/* This line is ignored by bash # This block is ignored by rustc pushd $(dirname "$0")/../ diff --git a/scripts/setup_rust_fork.sh b/scripts/setup_rust_fork.sh index 85c0109c6f6..cabbaaa8922 100644 --- a/scripts/setup_rust_fork.sh +++ b/scripts/setup_rust_fork.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e ./y.rs build --no-unstable-features diff --git a/scripts/test_rustc_tests.sh b/scripts/test_rustc_tests.sh index 7e539209c39..4cf24c02235 100755 --- a/scripts/test_rustc_tests.sh +++ b/scripts/test_rustc_tests.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e cd $(dirname "$0")/../ |