K Shiv Kumar

Mininet installation was failing.

2

https://github.com/nsg-ethz/p4-utils/blob/9990bbf57b23cad0244c8f675b138c7a32882c29/install-tools/install-p4-dev.sh#L516 I just replaced this line with : "git clone https://github.com/mininet/mininet.git mininet" and it worked for me.