Revision 25f64a39 util/install.sh

View differences:

util/install.sh
266 266

  
267 267
function all {
268 268
	echo "Running all commands..."
269
	kernel
269
    if [ "$DIST" != "Ubuntu" ]; then
270
        # Ubuntu ships with Mininet-compatible kernel
271
        kernel
272
    fi
270 273
	mn_deps
271 274
	of
272 275
	ovs

Also available in: Unified diff