www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

commit c7c68fb5e79b7aded9905ee0743f7591476ec68b
parent a373a8eafef821242f1858ca8525dc1da8be5de8
Author: Matthew Flatt <mflatt@racket-lang.org>
Date:   Fri, 12 Jul 2013 06:27:53 -0600

distro-build/drive-clients: add some date printouts

original commit: 966f06b738331f09224299eedd70ed30e94136a8

Diffstat:
Apkgs/distro-build/display-time.rkt | 11+++++++++++
Mpkgs/distro-build/drive-clients.rkt | 8+++++++-
2 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/pkgs/distro-build/display-time.rkt b/pkgs/distro-build/display-time.rkt @@ -0,0 +1,11 @@ +#lang racket/base +(require racket/date) + +(provide display-time) + +(define (display-time) + (define now (seconds->date (current-seconds))) + (printf "[~a] The time is now ~a\n" + (parameterize ([date-display-format 'iso-8601]) + (date->string now #t)) + (date->string now #t))) diff --git a/pkgs/distro-build/drive-clients.rkt b/pkgs/distro-build/drive-clients.rkt @@ -9,7 +9,8 @@ current-mode site-config? site-config-tag site-config-options site-config-content) - "url-options.rkt") + "url-options.rkt" + "display-time.rkt") ;; See "config.rkt" for an overview. @@ -298,6 +299,7 @@ (~a "http://" server ":9440/.git"))) (define clean? (get-opt c '#:clean? default-clean? #:localhost #f)) (define pull? (get-opt c '#:pull? #t #:localhost #f)) + (display-time) ((case (or (get-opt c '#:platform) 'unix) [(unix) unix-build] [else windows-build]) @@ -351,6 +353,8 @@ ;; ---------------------------------------- +(display-time) + (void (let loop ([config config] [mode 'sequential] @@ -388,3 +392,5 @@ (lambda () (client-build c))) ;; stop client, if a VM: (stop-client c)))))])))) + +(display-time)