Add a new command line option to select the buffering mode of stdout.

The option is "-b <mode>", or "-buffering=<mode>", where mode can be
"no", "line", or "full".  This option uses the ANSI C function call
setvbuf() to select the corresponding buffering mode.

The buffering mode can be selected only once in a portable programme,
and it has to be selected before the first output occurs.  This means
that it has to be implemented in the flesh.


git-svn-id: http://svn.cactuscode.org/flesh/trunk@4329 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 1 insertions, 0 deletions

diff --git a/src/include/CommandLine.h b/src/include/CommandLine.h
index 408e2562..0eb4fa8c 100644
--- a/src/include/CommandLine.h
+++ b/src/include/CommandLine.h
@@ -23,6 +23,7 @@ void CCTKi_CommandLineWarningLevel(const char *argument);
 void CCTKi_CommandLineErrorLevel(const char *argument);
 void CCTKi_CommandLineParameterLevel(const char *argument);
 void CCTKi_CommandLineRedirect(const char *argument);
+void CCTKi_CommandLineSetBuffering(const char *argument);
 void CCTKi_CommandLinePrintSchedule(void);
 void CCTKi_CommandLineListThorns(void);
 void CCTKi_CommandLineVersion(void);