pretty-print: add WITH_BUFFERED_STDOUT() helper

diff --git a/src/shared/pretty-print.h b/src/shared/pretty-print.h
index 56491886fa21f656b0c3b63c482b8fe0890fa644..8ea711a09d2937215d2a7ce0701c8ebdd8e2064d 100644 (file)
--- a/src/shared/pretty-print.h
+++ b/src/shared/pretty-print.h
@@ -92,3 +92,6 @@ static inline void fflush_and_disable_bufferingp(FILE **p) {
 
 #define WITH_BUFFERED_STDERR                                            \
         _WITH_BUFFERED_STREAM(stderr, LONG_LINE_MAX, UNIQ_T(p, UNIQ))
+
+#define WITH_BUFFERED_STDOUT                                            \
+        _WITH_BUFFERED_STREAM(stdout, LONG_LINE_MAX, UNIQ_T(p, UNIQ))