From 5dad9a1ef190a669897fa63e5858a5d40dd5031b Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 25 Oct 2014 21:18:24 -0600
Subject: [PATCH] meta/pkg-build: record start and end time for tests

---
 pkgs/plt-services/meta/pkg-build/main.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/plt-services/meta/pkg-build/main.rkt b/pkgs/plt-services/meta/pkg-build/main.rkt
index f5f9fd408a..f58cc5c5c4 100644
--- a/pkgs/plt-services/meta/pkg-build/main.rkt
+++ b/pkgs/plt-services/meta/pkg-build/main.rkt
@@ -871,7 +871,8 @@
        (define rt (vm-remote vm))
        (make-sure-vm-is-ready vm rt)
        (define test-ok?
-         (ssh rt (cd-racket vm)
+         (ssh #:show-time? #t
+              rt (cd-racket vm)
               " && bin/raco pkg install -u --auto " pkgs-str
               " && bin/raco test --drdr --package " pkgs-str
               #:mode 'result