1 files changed, 5 insertions, 1 deletions
diff --git a/kern b/kern
index 4f039b8..83b5cb1 100755
--- a/kern
+++ b/kern
@@ -82,7 +82,11 @@ test_diff() {
 	rm -f "$dt"
 	if test $diffr -ne 0; then
 		diff_kernel
-		printf "Configs differ, exiting.\n"
+		printf "Continue? [y/N] "
+		read -r response
+		if test "$response" = "y"; then
+			return 0
+		fi
 	fi
 	return $diffr
 }