Dmitrij D. Czarkoff: > > I think you should just set > > INSTALL_STRIP = > > in the ports (or modules) that require it and be done with it. > > No point in introducing yet another variable. > > INSTALL_STRIP is mentioned in mk.conf(5), so it is a user setting. > /etc/mk.conf may contain INSTALL_STRIP=-s, and that would override > INSTALL_STRIP= from port.
In practice, INSTALL_STRIP has two possible values: "-s" and "". "-s" is already the default, so the only user setting that makes any sense is "". Having some ports already set it to "" is just fine. A few ports already do this. -- Christian "naddy" Weisgerber na...@mips.inka.de
