* Enable buffering of stderr in C++.
This commit is contained in:
parent
f7c7aad135
commit
c78bf11524
|
@ -53,6 +53,10 @@ int main(int argc, char * * argv)
|
||||||
ATerm bottomOfStack;
|
ATerm bottomOfStack;
|
||||||
ATinit(argc, argv, &bottomOfStack);
|
ATinit(argc, argv, &bottomOfStack);
|
||||||
|
|
||||||
|
/* Turn on buffering for cerr. */
|
||||||
|
char buf[1024];
|
||||||
|
cerr.rdbuf()->pubsetbuf(buf, sizeof(buf));
|
||||||
|
|
||||||
try {
|
try {
|
||||||
initAndRun(argc, argv);
|
initAndRun(argc, argv);
|
||||||
} catch (UsageError & e) {
|
} catch (UsageError & e) {
|
||||||
|
|
Loading…
Reference in a new issue