Timestamp output to aid DrDr debugging.

NoahStoryM · Jun 28, 2024 · 9cca005 · 9cca005
1 parent f477e7c
commit 9cca005
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pkgs/compiler-test/tests/compiler/embed/test.rkt b/pkgs/compiler-test/tests/compiler/embed/test.rkt
@@ -2,6 +2,7 @@
 
 (require compiler/embed
          racket/file
+	 racket/format
 	 racket/system
          racket/port
          launcher
@@ -61,6 +62,7 @@
       (thunk))))
 
 (define (printf/flush . args)
+  (printf "~a " (~r #:min-width 10 #:precision '(= 2) (/ (current-process-milliseconds) 1000.)))
   (apply printf args)
   (flush-output))