diff -r c77d59891a0d -r fa53b961cf44 scripts/build/kernel_linux.sh
--- a/scripts/build/kernel_linux.sh	Mon May 07 21:45:31 2007 +0000
+++ b/scripts/build/kernel_linux.sh	Mon May 07 22:09:36 2007 +0000
@@ -25,8 +25,6 @@
 
 # Check kernel configuration
 do_kernel_check_config() {
-    CT_DoStep INFO "Checking kernel configuration"
-
     # Only the copied or sanitised headers need a config file.
     # Pre-existing headers as well as headers_install don't.
     if [ "${CT_KERNEL_LINUX_NEEDS_CONFIG}" = "y"        \
@@ -48,8 +46,6 @@
 
         CT_EndStep
     fi
-
-    CT_EndStep
 }
 
 # Wrapper to the actual headers install method