From de5d31184ff7f18d9706cf987913d25a8497b564 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Mon, 13 Feb 2012 20:34:59 -0800
Subject: [PATCH] Ugh, typo.

---
 util/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/install.sh b/util/install.sh
index 79943ab..ae45548 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -113,7 +113,7 @@ function kernel_clean {
     # To save disk space, remove previous kernel
     if ! $remove $KERNEL_IMAGE_OLD; then
         echo $KERNEL_IMAGE_OLD not installed.
-    endif
+    fi
 
     # Also remove downloaded packages:
     rm -f ~/linux-headers-* ~/linux-image-*