Commit e220635fc952c63b533873f2af39ec76aed4b4e3

Bruno Haible 2008-04-11T16:31:39

Flush the standard error stream before aborting.