CVS: cvs.openbsd.org: ports

[Klemens Nanni]

CVSROOT:        /cvs
Module name:    ports
Changes by:     k...@cvs.openbsd.org    2018/04/17 13:39:33

Modified files:
        net/mininet    : Makefile 
        net/mininet/pkg: PLIST 

Log message:
Enable SEPARATE_BUILD, simplify do-install.

OK akoshibe, jca