diff options
author | Patryk Niedźwiedziński <pniedzwiedzinski19@gmail.com> | 2021-01-10 12:23:04 +0100 |
---|---|---|
committer | Patryk Niedźwiedziński <pniedzwiedzinski19@gmail.com> | 2021-01-10 12:23:04 +0100 |
commit | e43d59f10cb6c7608a09ba2c5c9b0badc455e23e (patch) | |
tree | 4f0fb984de0159621c0ac4e792031dd921358253 | |
parent | 9b1f7be7c21780f0d5ac7b3e6d496f7d242f3f4c (diff) | |
download | puszcza-e43d59f10cb6c7608a09ba2c5c9b0badc455e23e.tar.gz puszcza-e43d59f10cb6c7608a09ba2c5c9b0badc455e23e.zip |
Better shebang
-rwxr-xr-x | scripts/prebuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/prebuild.sh b/scripts/prebuild.sh index 937bf5f..c135b7c 100755 --- a/scripts/prebuild.sh +++ b/scripts/prebuild.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -x set -eou pipefail |