CVS: cvs.openbsd.org: ports

[Marc Espie]

CVSROOT:        /cvs
Module name:    ports
Changes by:     es...@cvs.openbsd.org   2016/04/30 03:13:48

Modified files:
        infrastructure/bin: proot 

Log message:
fix command line repeated options