Don't assume /bin/bash is available on every system. (#1223)
Co-authored-by: MikaelUrankar <mikael.urankar@gmail.com>
This commit is contained in:
parent
557a09f6b5
commit
83d470d91c
3 changed files with 3 additions and 3 deletions
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash
|
#!/usr/bin/env bash
|
||||||
#![forbid(unsafe_code)]/* This line is ignored by bash
|
#![forbid(unsafe_code)]/* This line is ignored by bash
|
||||||
# This block is ignored by rustc
|
# This block is ignored by rustc
|
||||||
pushd $(dirname "$0")/../
|
pushd $(dirname "$0")/../
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash
|
#!/usr/bin/env bash
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
./y.rs build --no-unstable-features
|
./y.rs build --no-unstable-features
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash
|
#!/usr/bin/env bash
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
cd $(dirname "$0")/../
|
cd $(dirname "$0")/../
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue