diff options
-rwxr-xr-x | kern | 12 |
1 files changed, 5 insertions, 7 deletions
@@ -85,18 +85,16 @@ clean_kernel() { test_diff() { dt=$(mktemp) zcat /proc/config.gz | sed -nE '/^(# )?CONFIG_.*/p' > "$dt" - sed -nE '/^(# )?CONFIG_.*/p' .config | diff -q "$dt" - - diffr=$? - rm -f "$dt" - if test $diffr -ne 0; then + if ! sed -nE '/^(# )?CONFIG_.*/p' .config | diff -q "$dt" -; then diff_kernel printf "Continue? [y/N] " read -r response - if test "$response" = "y"; then - return 0 + if test "$response" != "y"; then + rm "$dt" + return 1 fi fi - return $diffr + rm "$dt" } all() { |