suppress setup-plt scribble 'using' messages, unless in verbose mode

svn: r17868
This commit is contained in:
Matthew Flatt 2010-01-28 18:56:21 +00:00
parent 43bf186d53
commit b5cada4811

View File

@ -427,10 +427,11 @@
(memq 'depends-all-main (doc-flags doc)))
(and auto-user?
(memq 'depends-all (doc-flags doc)))))])
(setup-printf
(cond [up-to-date? "using"] [can-run? "running"] [else "skipping"])
"~a"
(path->name (doc-src-file doc)))
(when (or (not up-to-date?) (verbose))
(setup-printf
(cond [up-to-date? "using"] [can-run? "running"] [else "skipping"])
"~a"
(path->name (doc-src-file doc))))
(if up-to-date?
;; Load previously calculated info:
(render-time