This way of exporting broke with git 1.8.0
This commit is contained in:
parent
8d1dbdd9ad
commit
0845e74d27
|
@ -253,12 +253,13 @@
|
||||||
(list rev repo dest)
|
(list rev repo dest)
|
||||||
end)
|
end)
|
||||||
(pipe
|
(pipe
|
||||||
|
(parameterize ([current-directory repo])
|
||||||
(system*
|
(system*
|
||||||
(git-path) "archive"
|
(git-path) "archive"
|
||||||
(format "--remote=~a" repo)
|
(format "--prefix=~a/"
|
||||||
(format "--prefix=~a/" (regexp-replace #rx"/+$" (path->string* dest) ""))
|
(regexp-replace #rx"/+$" (path->string* dest) ""))
|
||||||
"--format=tar"
|
"--format=tar"
|
||||||
end)
|
end))
|
||||||
(system* (find-executable-path "tar") "xf" "-" "--absolute-names"))
|
(system* (find-executable-path "tar") "xf" "-" "--absolute-names"))
|
||||||
(void))
|
(void))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user