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>
This commit is contained in:
parent
6b867b8aa8
commit
05400b7a2f
|
@ -4,7 +4,7 @@
|
||||||
# in `./util` subdirectories
|
# in `./util` subdirectories
|
||||||
#
|
#
|
||||||
# Execute from root of project. Example:
|
# 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_README_DIR="$(cd "$(dirname "$0")" || exit; pwd -P)"
|
||||||
UTIL_DIR=$(dirname "$UTIL_README_DIR")
|
UTIL_DIR=$(dirname "$UTIL_README_DIR")
|
||||||
|
|
Loading…
Reference in New Issue