mininet/mininet — pull request #7 by soheilhassasyeganeh (2011-11-07 20:01:12+00:00)
Title: Mininet prefix

Hi all,

This branch adds the MININET_PREFIX env variable for the util/install.sh script. The env variable determines the prefix for mininet installation. The default prefix is the parent directory of where mininet is installed (e.g., if mininet is install in /home/soheil/test/mininet, /home/soheil/test is the default MININET_PREFIX).

I'd like to request a pull for this branch into the main repo.

Thanks so much,
Soheil