Hi! > Who should I talk to regarding a change to /usr/ports/Mk/bsd.gcc.mk ? First step would be to submit a patch using https://bugs.freebsd.org/bugzilla/enter_bug.cgi Your change will probably discussed by portmgr at . -- pi at opsec.eu +49 171 3101372 5 years to go !