END
let set_trace i =
- if !G.trace = 0 && i > 0 then Y.gmtime G.version_string;
+ if !G.trace = 0 && i > 0 then Y.gmtime (G.version_string false);
if !G.trace > 0 && i = 0 then Y.utime_stamp "at exit";
G.trace := i;
IFDEF SUMMARY THEN
] in
let map s = s <> "" in
let features_string = KT.concat " " (KL.filter map features) in
- L.warn level (KP.sprintf "%s [%s]" G.version_string features_string);
+ L.warn level (KP.sprintf "%s [%s]" (G.version_string true) features_string);
exit 0
in
let set_hierarchy s =
streaming := false;
in
let undefined opt () =
- L.warn level (KP.sprintf "%s was compiled without the support for option %s" G.version_string opt);
+ L.warn level (KP.sprintf "%s was compiled without the support for option %s" (G.version_string true) opt);
exit 0
in
let arg_undefined opt = Arg.Unit (undefined opt) in