Generate leaner P4 VM
Dev: 1.5 GB instead of 3.5 GB
Tutorial: 2.3 GB instead of 5.5 GB
Change-Id: Ib63d47578a2c9e16a97827bfba463f90cfe1187d
diff --git a/tools/dev/p4vm/user-bootstrap.sh b/tools/dev/p4vm/user-bootstrap.sh
index fdbaf5b..e068727 100755
--- a/tools/dev/p4vm/user-bootstrap.sh
+++ b/tools/dev/p4vm/user-bootstrap.sh
@@ -14,11 +14,10 @@
source ~/onos/tools/dev/bash_profile
source ~/onos/tools/dev/p4vm/bm-commands.sh
EOF
-source ~/.profile
# Build and install P4 tools
bash /vagrant/install-p4-tools.sh
# Mininet
git clone git://github.com/mininet/mininet ~/mininet
-sudo ~/mininet/util/install.sh -nwv
+sudo ~/mininet/util/install.sh -nv