scripts/build/kernel_linux.sh
changeset 70 fa53b961cf44
parent 66 c77d59891a0d
child 78 c3868084d81a
     1.1 --- a/scripts/build/kernel_linux.sh	Mon May 07 21:45:31 2007 +0000
     1.2 +++ b/scripts/build/kernel_linux.sh	Mon May 07 22:09:36 2007 +0000
     1.3 @@ -25,8 +25,6 @@
     1.4  
     1.5  # Check kernel configuration
     1.6  do_kernel_check_config() {
     1.7 -    CT_DoStep INFO "Checking kernel configuration"
     1.8 -
     1.9      # Only the copied or sanitised headers need a config file.
    1.10      # Pre-existing headers as well as headers_install don't.
    1.11      if [ "${CT_KERNEL_LINUX_NEEDS_CONFIG}" = "y"        \
    1.12 @@ -48,8 +46,6 @@
    1.13  
    1.14          CT_EndStep
    1.15      fi
    1.16 -
    1.17 -    CT_EndStep
    1.18  }
    1.19  
    1.20  # Wrapper to the actual headers install method