cs: fix Windows build repo update

repair for 66efceee0e
This commit is contained in:
Matthew Flatt 2019-03-22 17:36:16 -06:00
parent 0fc4f69d1e
commit 0736898ccd

View File

@ -83,7 +83,7 @@
(for ([submodule (in-list submodules)]) (for ([submodule (in-list submodules)])
(define dir (build-path scheme-dir submodule)) (define dir (build-path scheme-dir submodule))
(unless (directory-exists? (build-path dir ".git")) (unless (directory-exists? (build-path dir ".git"))
(clone (format "~a~a/.git" submodule extra-repos-base) (clone (format "~a~a/.git" extra-repos-base submodule)
(build-path scheme-dir submodule)))) (build-path scheme-dir submodule))))
(when pull? (when pull?
(parameterize ([current-directory scheme-dir]) (parameterize ([current-directory scheme-dir])