diff options
author | Martin Roth <gaumless@gmail.com> | 2022-05-28 12:33:44 -0600 |
---|---|---|
committer | Martin L Roth <gaumless@tutanota.com> | 2022-05-30 04:25:07 +0000 |
commit | e44a3d28422ec5d1498bc8526ba7574a8c855ac5 (patch) | |
tree | 82d57adf8cab3cd6fd66b077ff8d947bc42c49a2 /util/abuild | |
parent | bbe876250f2bc5045cc3947c024e6f70330cc9ba (diff) |
util: Fix a few spelling mistakes
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: Ib6f0232292c9e289ee1e87998493ea70beea8e78
Reviewed-on: https://review.coreboot.org/c/coreboot/+/64750
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Diffstat (limited to 'util/abuild')
-rwxr-xr-x | util/abuild/abuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild index 2632aaa176..c8c56f8e31 100755 --- a/util/abuild/abuild +++ b/util/abuild/abuild @@ -61,10 +61,10 @@ configdir="$TOP/configs" TIMELESS=0 # One might want to adjust these in case of cross compiling -for i in make gmake gnumake nonexistant_make; do +for i in make gmake gnumake nonexistent_make; do $i --version 2>/dev/null |grep "GNU Make" >/dev/null && break done -if [ "$i" = "nonexistant_make" ]; then +if [ "$i" = "nonexistent_make" ]; then echo No GNU Make found. exit 1 fi |