diff options
author | Florian Klink <flokli@flokli.de> | 2019-12-06 13:32:53 +0100 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2019-12-06 15:25:20 +0100 |
commit | f3b01ed6b7fc95cc81e59fbead57fe18f9d3b9f0 (patch) | |
tree | 07f0eccd07dbdf38ee76b936a179ec918dcb72d8 /dts/scripts | |
parent | 5bd5758b972a716322ae42b9e63f23661c6808b5 (diff) | |
download | barebox-f3b01ed6b7fc95cc81e59fbead57fe18f9d3b9f0.tar.gz barebox-f3b01ed6b7fc95cc81e59fbead57fe18f9d3b9f0.tar.xz |
dts/scripts: use #!/usr/bin/env bash shebang instead of #!/bin/bash
Some distributions might not have bash in /bin, but in $PATH.
Using #!/usr/bin/env bash solves this, and is consistent with how the
perl and python shebangs look like in the tree.
Signed-off-by: Florian Klink <flokli@flokli.de>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'dts/scripts')
-rwxr-xr-x | dts/scripts/cronjob | 2 | ||||
-rwxr-xr-x | dts/scripts/index-filter.sh | 2 | ||||
-rwxr-xr-x | dts/scripts/merge-new-release.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/dts/scripts/cronjob b/dts/scripts/cronjob index ccdbc0607e..b7511e4253 100755 --- a/dts/scripts/cronjob +++ b/dts/scripts/cronjob @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e diff --git a/dts/scripts/index-filter.sh b/dts/scripts/index-filter.sh index 9610855020..c301fcea1c 100755 --- a/dts/scripts/index-filter.sh +++ b/dts/scripts/index-filter.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e set -o pipefail diff --git a/dts/scripts/merge-new-release.sh b/dts/scripts/merge-new-release.sh index a2763c69bb..554b97b8eb 100755 --- a/dts/scripts/merge-new-release.sh +++ b/dts/scripts/merge-new-release.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash case $1 in v*-dts) ;; |