From 25f64a39a033ada56dc26d3dc037112f20840eb4 Mon Sep 17 00:00:00 2001 From: Bob Lantz Date: Tue, 17 Aug 2010 17:04:57 -0700 Subject: [PATCH] Changed to not install kernel on ubuntu. --- util/install.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/util/install.sh b/util/install.sh index e1d8232..141e0ad 100755 --- a/util/install.sh +++ b/util/install.sh @@ -266,7 +266,10 @@ function modprobe { function all { echo "Running all commands..." - kernel + if [ "$DIST" != "Ubuntu" ]; then + # Ubuntu ships with Mininet-compatible kernel + kernel + fi mn_deps of ovs