Pass the value to be pushed to x87_create_fpush().
[libfirm] / config.mak.example
2011-04-08 Andreas Zwinkaumerge kaps
2010-11-05 Matthias Brauna firm Makefile