From 72c6fbc3e0d2ada48b1ab089e4c6d6520a1a93d8 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Tue, 30 Oct 2018 15:05:56 -0700 Subject: [PATCH] better time --- pollen/render.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pollen/render.rkt b/pollen/render.rkt index 8baba8d..7c9dd63 100644 --- a/pollen/render.rkt +++ b/pollen/render.rkt @@ -156,9 +156,11 @@ (time-apply render-proc (list source-path template-path output-path)))) ;; wait till last possible moment to store mod dates, because render-proc may also trigger its own subrenders ;; e.g., of a template. - (message (format "rendered /~a (~a ms)" + (message (format "rendered /~a ~a" (find-relative-path (current-project-root) output-path) - real)) + (if (< real 1000) + (format "(~a ms)" real) + (format "(~a s)" (/ real 1000))))) (update-mod-date-hash! source-path template-path) render-result)