diff options
| -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")/../ |