John Marino 75229eb39f Add new tool script: redundant-opt-files.sh ... I got a request to make Synth identify "redundant" cached option files, where "redundant" means the saved port options are identical to the default options. For Synth (and portmaster?) which use the port's cache options, these redundant files are somewhat of a liability. At best they do nothing (Synth assumes default options) and at worst they will cause a future build to stop if the maintainer changes the port options later. This situation is avoidable. Rather than build detection into Synth, I decided to write a generic shell script for ports. When run, it will display the full path to the port's options directory if the cached options are the same as the defaults. This output is suitable to pipe to "xargs rm -rf" to remove all the redundant options in a single command.		2016-02-14 09:59:08 +00:00
..
scripts	Add new tool script: redundant-opt-files.sh	2016-02-14 09:59:08 +00:00
make_index	- Fix 'make index' when system is built with WITHOUT_PORTSNAP by	2013-10-07 21:32:30 +00:00
make_readmes