CVS: cvs.openbsd.org: ports

[Marc Espie]

CVSROOT:        /cvs
Module name:    ports
Changes by:     es...@cvs.openbsd.org   2016/04/29 08:47:32

Modified files:
        infrastructure/bin: proot 

Log message:
tweak options