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 /configs | |
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 'configs')
0 files changed, 0 insertions, 0 deletions