>>>>> "Rich" == Richard Lowe <richlowe at richlowe.net> writes:
Bill> usr/src/tools/Makefile.tools: Bill> Bill> WES-14 Lines 66-73: might INS.pyfile belong in Makefile.master (we're Bill> going to have python elsewhere in ON at some point, right?) Rich> I wasn't sure what to do about that, so I took the more localized Rich> approach. I'm happy to change it. Yeah, Makefile.master looks like the right place for this. mike
