From 57a0bb2f95c67d9c5bff6815f7320566bb243b31 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Tue, 17 Aug 2010 16:49:45 -0700
Subject: [PATCH] Removed unneeded lenny function.

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

diff --git a/util/install.sh b/util/install.sh
index caa5c7e..e1d8232 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -332,11 +332,6 @@ function usage {
     exit 2
 }
 
-function lenny {
-    echo "Installing for Lenny"
-    DIST=LENNY
-}
-
 if [ $# -eq 0 ]
 then
 	all