K 10 svn:author V 3 phk K 8 svn:date V 27 2016-07-08T20:33:20.169045Z K 7 svn:log V 44 Add missing PORTS_OPTS to two make commands END