>>>>> "David" == David Malcolm <dmalc...@redhat.com> writes:
David> If so, what tools are blessed for usage at build time? (I'd prefer David> Python, but I don't think that's a build-time dep yet). http://www.gnu.org/prep/standards/html_node/Utilities-in-Makefiles.html#Utilities-in-Makefiles Tom
