diff options
| author | Jonathan Neuschäfer <j.neuschaefer@gmx.net> | 2018-12-11 15:49:04 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-18 13:25:21 +0000 |
| commit | 05400b7a2f903240797dcff1f87b9eb13e57c120 (patch) | |
| tree | be5bc7c786ef520b2f8dd812744b934e5636b6e5 /util/util_readme | |
| parent | 6b867b8aa8ca3b69250c2ba30a5bbf8b2f030b93 (diff) | |
util/util_readme: Don't recommend running this script with "sh"
util/util_readme/util_readme.sh is specifically a bash script and
requires bash-specific features such as "[[". It doesn't work when run
with a "sh" shell that only implements POSIX features, such as dash.
Thus, tell the user to run the script directly, in which case the #!
line is used.
Change-Id: I5706ffe857c5a148e9776571a377ad8647f9a4c2
Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-on: https://review.coreboot.org/c/30162
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/util_readme')
| -rwxr-xr-x | util/util_readme/util_readme.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/util_readme/util_readme.sh b/util/util_readme/util_readme.sh index cdd94dcb1a..af688c4b0d 100755 --- a/util/util_readme/util_readme.sh +++ b/util/util_readme/util_readme.sh @@ -4,7 +4,7 @@ # in `./util` subdirectories # # Execute from root of project. Example: -# `sh util/util_readme/util_readme.sh` +# `util/util_readme/util_readme.sh` UTIL_README_DIR="$(cd "$(dirname "$0")" || exit; pwd -P)" UTIL_DIR=$(dirname "$UTIL_README_DIR") |