Hack: run depmod twice so it works (hopefully) on Ubuntu.

2010-08-17 20:40:53 -07:00
parent 7268f6943c
commit dd2a2442c4
1 changed files with 4 additions and 1 deletions
@@ -287,11 +287,14 @@ function all {
 	mn_deps
 	of
 	ovs
-	modprobe
+    modprobe
 	nox
 	oftest
 	cbench
 	other
    # BL Hack: for some annoying reason, the first depmod doesn't
    # seem to take on Ubuntu, so do it once again for good measure!
    modprobe
 	echo "Please reboot, then run ./mininet/util/install.sh -c to remove unneeded packages."
 	echo "Enjoy Mininet!"
 }