projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change the logging infrastructure:
[SXSI/xpathcomp.git]
/
src
/
options.ml
diff --git
a/src/options.ml
b/src/options.ml
index
8285888
..
03d24a9
100644
(file)
--- a/
src/options.ml
+++ b/
src/options.ml
@@
-88,7
+88,7
@@
let spec = Arg.align
"-v", Arg.Set(verbose), " verbose mode"; ] @
IFNDEF NTRACE
THEN [
"-v", Arg.Set(verbose), " verbose mode"; ] @
IFNDEF NTRACE
THEN [
- "-log", Arg.String (set_
trac
er),
+ "-log", Arg.String (set_
logg
er),
"<logger1:l1,...,loggern:ln> enable logging with the specified level. Valid loggers are: "
^ (pretty_loggers ())
]
"<logger1:l1,...,loggern:ln> enable logging with the specified level. Valid loggers are: "
^ (pretty_loggers ())
]