firm_init_options() is now a separate function that reads the firm.ini and might...
[libfirm] / filter.awk
2004-12-02 Michael Beckneeded utilities for configure