diff options
| -rw-r--r-- | src/shared.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/shared.cc b/src/shared.cc index 32e891617..dcda0b50a 100644 --- a/src/shared.cc +++ b/src/shared.cc @@ -53,6 +53,10 @@ int main(int argc, char * * argv) ATerm bottomOfStack; ATinit(argc, argv, &bottomOfStack); + /* Turn on buffering for cerr. */ + char buf[1024]; + cerr.rdbuf()->pubsetbuf(buf, sizeof(buf)); + try { initAndRun(argc, argv); } catch (UsageError & e) { |