[Projects] Re: XRM 64: Use --verbose instead of --statistics.

Index: ChangeLog from SIGOURE Benoit &lt;sigoure.benoit(a)lrde.epita.fr&gt; Use --verbose instead of --statistics. This cancels the note of the previous commit. * src/str/log-timed.str: Use --verbose instead of --statistics. * src/str/xrm-front.str: Change verbosity levels. log-timed.str | 6 +++--- xrm-front.str | 10 +++++----- 2 files changed, 8 insertions(+), 8 deletions(-) Index: src/str/log-timed.str --- src/str/log-timed.str (revision 63) +++ src/str/log-timed.str (working copy) @@ -14,7 +14,7 @@ ** printed. (default level=1) */ log-timed(s | msg, level) = - if <geq>(<get-config> "--statistics", level) then + if <geq>(<verbosity>(), level) then

where( times => start ; print-log-msg(|msg) @@ -42,7 +42,7 @@ ** Same thing as log-timed but nothing will be printed until s finished. */ log-timed-reentrant(s | msg, level) = - if <geq>(<get-config> "--statistics", level) then + if <geq>(<verbosity>(), level) then

where(times => start) ; s ; where( @@ -68,6 +68,6 @@ <concat-strings>["[ " , <log-src> , " | info ] " - , <align-left>(' ', msg, 40) // 40 = max strlen(msg) + , <align-left>(' ', msg, 36) // 36 = max strlen(msg) ] ; log-puts