From 83d470d91c15d0cb5890705291e6ee9e5be8a842 Mon Sep 17 00:00:00 2001 From: MikaelUrankar <49529234+MikaelUrankar@users.noreply.github.com> Date: Thu, 14 Apr 2022 14:18:13 +0200 Subject: [PATCH] Don't assume /bin/bash is available on every system. (#1223) Co-authored-by: MikaelUrankar --- scripts/filter_profile.rs | 2 +- scripts/setup_rust_fork.sh | 2 +- 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 a0e99267c2b7..f4e863e5494b 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 85c0109c6f61..cabbaaa89225 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 7e539209c397..4cf24c02235d 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")/../