From 8cfb7d96e37656fc9bf43227a56922350a3f7214 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 6 Dec 2010 07:01:36 -0700 Subject: [PATCH] avoid stdin for git repo version --- collects/repo-time-stamp/stamp.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/repo-time-stamp/stamp.rkt b/collects/repo-time-stamp/stamp.rkt index d9bfb612ff..63e70be139 100644 --- a/collects/repo-time-stamp/stamp.rkt +++ b/collects/repo-time-stamp/stamp.rkt @@ -55,6 +55,7 @@ (and exe (let ([out (open-output-string)]) (parameterize ([current-output-port out] [current-error-port out] + [current-input-port (open-input-string "")] [current-directory this-dir]) (system* exe "log" "-1" "--pretty=format:%ct|%h|g") (get-output-string out))))))