Daniel Shahaf wrote on Thu, Mar 19, 2015 at 07:14:57 +0000: > It won't be hard to turn it into a tools/dev/ script that automatically > edits build.conf to add anything that's missing, if anyone thinks that's > a good idea...
I have in mind a script that developers can run locally before committing. That is, the workflow would be: % svn add subversion/include/private/svn_foo.h % tools/dev/the-new-script # adds svn_foo.h to build.conf % svn commit
