Get rid of x87_push_dbl() by passing an usable register to x87_create_fpush().
[libfirm] / config.mak.example
2011-04-08 Andreas Zwinkaumerge kaps
2010-11-05 Matthias Brauna firm Makefile