Use more convenient and UNIX-agnostic shebang

Pure sh scripts should use /bin/sh as it's available on every platform.

When using bash-specific features, use env to find it, as bash can
be installed in different places according the OS.
This commit is contained in:
Sébastien Santoro 2017-11-13 13:38:57 +00:00
parent 9e59cf98f1
commit 97a81d7920
2 changed files with 2 additions and 2 deletions

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Copyright 2017 The Rust Project Developers. See the COPYRIGHT
# file at the top-level directory of this distribution and at
# http://rust-lang.org/COPYRIGHT.

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
set -e