Bob Lantz f873068a2c Add chown argument to change build dir owner ...

This allows Jenkins to delete a sudo build.

2016-01-13 17:16:07 -08:00

..

.bash_profile

Add bash_profile for VM build

2010-03-24 05:20:12 -07:00

build.py

Add chown argument to change build dir owner

2016-01-13 17:16:07 -08:00

install-mininet-vm.sh

Disable splash and quiet individually (more robust)

2014-12-17 13:48:43 -08:00