diff -r 37831a33e07e scripts/build/kernel/linux.sh
--- a/scripts/build/kernel/linux.sh     Tue Oct 16 20:57:44 2012 +0200
+++ b/scripts/build/kernel/linux.sh     Sat Oct 20 10:57:53 2012 +0200
@@ -60,7 +60,7 @@
 # Extract kernel
 do_kernel_extract() {
     # If using a custom headers tree, nothing to do
-    if [ "${CT_KERNEL_LINUX_USE_CUSTOM_HEADERS}" = "y" ]
+    if [ "${CT_KERNEL_LINUX_USE_CUSTOM_HEADERS}" = "y" ]; then
         return 0
     fi