thanks, applied as r14673, with a minor fix: -$print_coda(); +&print_coda();
i'm not sure tools/dev/as2c.pl is used, as the only makefile that calls it isn't generated (config/gen/cpu/i386/Makefile), it's not platform-independent, and the files it generates are committed to the repository. but, that's for another ticket. ~jerry
