I meant to cd to devel/premake4 and started cleaning up this port by mistake. Oh well. Portlint is now happy and danfe@ will be happy that I unmasked and installation command.
