K 10 svn:author V 7 antoine K 8 svn:date V 27 2017-01-07T09:01:02.181919Z K 7 svn:log V 119 Revert r398829: do not change OPTIONS when DEVELOPER=yes Having a TEST option is usually a bad idea With hat: portmgr END