Setting GIT_DIR

2010-05-12 14:08:45 -06:00 · 2010-05-12 14:08:45 -06:00 · b6abe53002
commit b6abe53002
parent 1d6c943114
1 changed files with 1 additions and 0 deletions
--- a/collects/meta/drdr/plt-build.ss
+++ b/collects/meta/drdr/plt-build.ss
@ -282,6 +282,7 @@
                    [current-temporary-directory tmp-dir]
                    [current-rev rev])
       (with-env (["PLTSTDERR" "error"]
+                  ["GIT_DIR" (path->string (plt-repository))]
                  ["TMPDIR" (path->string tmp-dir)]
                  ["PATH" 
                   (format "~a:~a"