diff options
| author | Sergey Poznyakoff <gray@gnu.org.ua> | 2008-08-02 13:13:12 +0300 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2008-08-02 13:13:12 +0300 |
| commit | 4ef381b92d19a97fbcffa5640e8abf8aed26db24 (patch) | |
| tree | abf8b0fffd9d193f3193963646dfcdf2c97b52f1 /dico | |
| parent | 8e4a47e357c29b47fb001496046de57738628a36 (diff) | |
| download | dico-4ef381b92d19a97fbcffa5640e8abf8aed26db24.tar.gz dico-4ef381b92d19a97fbcffa5640e8abf8aed26db24.tar.bz2 | |
Improve debugging.
* dico/cmdline.opt: New option --time-stamp.
* include/dico/diag.h (DICO_DBG_CTL_SET_TS): New define.
* lib/dbgstream.c: Optionally print timestamp information.
Diffstat (limited to 'dico')
| -rw-r--r-- | dico/cmdline.opt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dico/cmdline.opt b/dico/cmdline.opt index d959bce..eb42f69 100644 --- a/dico/cmdline.opt +++ b/dico/cmdline.opt @@ -173,6 +173,13 @@ BEGIN debug_level++; END +OPTION(time-stamp,,, + [<Include time stamp in the debugging output.>]) +BEGIN + int n = 1; + dico_stream_ioctl(debug_stream, DICO_DBG_CTL_SET_TS, &n); +END + OPTION(source-info,,, [<Include source line information in the debugging output.>]) BEGIN |