From d00fa51f4c2713b522e53573a3130a81d28b6d92 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Wed, 2 Feb 2011 23:47:05 -0800
Subject: [PATCH] Removed line that caused install.sh to fail with undefined
 variable. Still should check to make sure Debian install works.

---
 util/install.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/util/install.sh b/util/install.sh
index 4e44b23..34208a9 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -16,8 +16,6 @@ grep Ubuntu /etc/lsb-release &> /dev/null && DIST="Ubuntu"
 
 # Kernel params
 
-KERNEL_IMAGE=linux-image-${KERNEL_NAME}_${KERNEL_NAME}-10.00.Custom_i386.deb
-
 if [ "$DIST" = "Debian" ]; then
     KERNEL_NAME=2.6.33.1-mininet
     KERNEL_HEADERS=linux-headers-${KERNEL_NAME}_${KERNEL_NAME}-10.00.Custom_i386.deb