I would like to quit using 'make' in favor of builder.py. I have been doing this myself, but I have to<div>constantly port the changes people make to the original build. Is there a reason to maintain make?</div><div>
<br></div><div>Also, I pushed preliminary support for dependency checking into builder.py.</div><div><br></div><div>   Matt<br clear="all"><br>-- <br>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>
-- Norbert Wiener<br>
</div>