Commit 77a0fb82b53087647a12334c6ddd590ea6215199

Andreas Schwab 2022-10-10T17:59:04

Flush output before aborting (#740) Co-authored-by: Andreas Schwab <schwab@suse.de>