diff options
| author | Michael Elizabeth Chastain <mec@shout.net> | 2002-02-12 20:23:42 -0800 |
|---|---|---|
| committer | Linus Torvalds <torvalds@home.transmeta.com> | 2002-02-12 20:23:42 -0800 |
| commit | b9bfb31254bf6984c10623720706d80f89743e33 (patch) | |
| tree | 24457f53632154dc085aee301833fe52b772f602 /scripts | |
| parent | fdf4ccff6939d5d2f245e2fc3d66db4bb924424a (diff) | |
[PATCH] menuconfig: fix error exit if awk fails
This one-liner fixes an error case in Menuconfig when awk fails.
Written by Andrew Church (achurch@achurch.org).
Reviewed and tested by Michael Elizabeth Chastain (mec@shout.net).
Michael Elizabeth Chastain
===
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Menuconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Menuconfig b/scripts/Menuconfig index 614f0e1d1293..5d096a1c0a75 100644 --- a/scripts/Menuconfig +++ b/scripts/Menuconfig @@ -689,7 +689,7 @@ function l_choice () { # Call awk, and watch for error codes, etc. # function callawk () { -awk "$1" || echo "Awk died with error code $?. Giving up." || exit 1 +awk "$1" || { echo "Awk died with error code $?. Giving up."; exit 1; } } # |