diff options
| author | Sébastien Santoro <dereckson@espace-win.org> | 2017-11-13 13:38:57 +0000 |
|---|---|---|
| committer | Sébastien Santoro <dereckson@espace-win.org> | 2017-11-13 13:42:00 +0000 |
| commit | 97a81d792076b9135a3eeccbbf3a154e83d48627 (patch) | |
| tree | 190719348012ab93e776534db80c79d2f21b510f /ci/test-runner-linux | |
| parent | 9e59cf98f1fa70b779925997036d41ebb78ec708 (diff) | |
| download | rust-libc-97a81d792076b9135a3eeccbbf3a154e83d48627.tar.gz | |
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.
Diffstat (limited to 'ci/test-runner-linux')
| -rwxr-xr-x | ci/test-runner-linux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/test-runner-linux b/ci/test-runner-linux index 7a84b9d438..5f1fb237c2 100755 --- a/ci/test-runner-linux +++ b/ci/test-runner-linux @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e |