From ee7ee4065c7d42241e61a60abbc56f2c2e593699 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Thu, 19 Aug 2010 16:48:02 -0700
Subject: [PATCH] Get the options right...

---
 INSTALL | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index 562c2cd..34b9e10 100644
--- a/INSTALL
+++ b/INSTALL
@@ -51,12 +51,15 @@ a) On Debian 5, first install a Mininet-compatible kernel:
 b) Install OpenFlow 1.0 and associated useful software
     $ mininet/util/install.sh -f
 
-c) Install Open vSwitch
-    $ mininet/util/install.sh -f
+c) Install Open vSwitch and its kernel module
+    $ mininet/util/install.sh -vm
 
 d) If you wish to install the version of NOX we use in the tutorial:
     $ mininet/util/install.sh -x
 
+e) Install mininet and its dependencies:
+    $ mininet/util/install.sh -n
+
 Good luck! Some additional installation notes are provided below, for
 the brave and/or Linux-savvy, or those who are trying to understand what
 is installed and why.