suzanne.soy/distro-build
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

distro-build/drive-clients: print time before each command

Browse Source 
original commit: a961b63a2587727cc79831253658e7b77c0f44e8
This commit is contained in:
Matthew Flatt 2013-08-18 16:30:42 -06:00
parent 77984e7662
commit 7f9c9ee7ae
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/distro-build/drive-clients.rkt
View File

@ -194,6 +194,7 @@
(define (ssh-script host port user kind . cmds) (define (ssh-script host port user kind . cmds)
(for/and ([cmd (in-list cmds)]) (for/and ([cmd (in-list cmds)])
(when cmd (display-time))
(or (not cmd) (or (not cmd)
(if (and (equal? host "localhost") (if (and (equal? host "localhost")
(not user)) (not user))
@ -366,7 +367,6 @@
;; ensure a newline at the end: ;; ensure a newline at the end:
(newline o)))) (newline o))))
(display-time)
(begin0 (begin0
((case (or (get-opt c '#:platform) (system-type)) ((case (or (get-opt c '#:platform) (system-type))