diff -r 37831a33e07e -r fb71cad4b085 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	Thu Jan 10 00:27:13 2013 +0100
@@ -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