diff options
author | Florian Klink <flokli@flokli.de> | 2019-12-06 13:32:54 +0100 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2019-12-06 15:25:20 +0100 |
commit | 8a750efed0399f36679cddd3718841ff293711b6 (patch) | |
tree | 990cc9df705705f3a0e5ab3f339e1e443b76417e /MAKEALL | |
parent | f3b01ed6b7fc95cc81e59fbead57fe18f9d3b9f0 (diff) | |
download | barebox-8a750efed0399f36679cddd3718841ff293711b6.tar.gz barebox-8a750efed0399f36679cddd3718841ff293711b6.tar.xz |
docs: 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 'MAKEALL')
-rwxr-xr-x | MAKEALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Print statistics when we exit trap exit 1 2 3 15 |