scripts/build/kernel/linux.sh
changeset 3159 fb71cad4b085
parent 3079 37831a33e07e
child 3204 2993e15fa6c5
     1.1 --- a/scripts/build/kernel/linux.sh	Tue Oct 16 20:57:44 2012 +0200
     1.2 +++ b/scripts/build/kernel/linux.sh	Thu Jan 10 00:27:13 2013 +0100
     1.3 @@ -60,7 +60,7 @@
     1.4  # Extract kernel
     1.5  do_kernel_extract() {
     1.6      # If using a custom headers tree, nothing to do
     1.7 -    if [ "${CT_KERNEL_LINUX_USE_CUSTOM_HEADERS}" = "y" ]
     1.8 +    if [ "${CT_KERNEL_LINUX_USE_CUSTOM_HEADERS}" = "y" ]; then
     1.9          return 0
    1.10      fi
    1.11