CVS: cvs.openbsd.org: ports

[Jasper Lievisse Adriaanse]

CVSROOT:        /cvs
Module name:    ports
Changes by:     jas...@cvs.openbsd.org  2017/09/01 11:08:48

Modified files:
        net/mininet    : Makefile 

Log message:
tidy pre-install

ok akoshibe@