diff -r 37831a33e07e -r f4a0fc3d0aad 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	Wed Oct 17 21:21:44 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