diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-02-18 14:19:03 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-02-18 14:19:03 +0000 |
commit | 8b5742898106150e6a1ac1929eae7620d67f3fd8 (patch) | |
tree | 3e7ccb7992da8d160841255ce97f755545ab0435 /doc | |
parent | c5a3143db7bcb8fff0a7386135756574b4de0d36 (diff) | |
download | mpfr-8b5742898106150e6a1ac1929eae7620d67f3fd8.tar.gz |
Logging: the log stream is flushed after each log output when
the MPFR_LOG_FLUSH environment variable is set.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9287 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r-- | doc/README.dev | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/README.dev b/doc/README.dev index 12fde1d51..46bc3ca5b 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -643,8 +643,11 @@ the source code of the function to understand its real meaning. You can control what is logged using the environment variables: MPFR_LOG_FILE: Name of the LOG file (default: mpfr.log). -MPFR_LOG_PREC: # of digits of the output (set the internal variable - mpfr_log_prec, default: 6). +MPFR_LOG_FLUSH: When this variable is set, flush the log stream after + each log output (useful to get the latest logs in case + of crash, but this makes logging slower). +MPFR_LOG_PREC: Number of digits of the output (set the internal variable + mpfr_log_prec, default: 6). MPFR_LOG_LEVEL: Max recursive level (default: 7). MPFR_LOG_INPUT: Log the input |