diff options
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; } } # |