diff options
| author | Joey Hess <joey@kitenet.net> | 2014-11-19 21:00:14 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-11-19 21:00:14 -0400 |
| commit | 025c7c4b8e0b7aa3ba3ff8c077c5fbef3c8fa63d (patch) | |
| tree | 5968378ee4eb44c45614b58afe1f34304938d14f /src/Utility/FileSystemEncoding.hs | |
| parent | 2ceace6bd56c51edc0a534d3b692c78664b58b58 (diff) | |
avoid double-build in --spin
It was fetching from the central repo, then building that, and then running
the client-to-client git update, and the building after that.
Remove the first build, as all that linking does take time.
Diffstat (limited to 'src/Utility/FileSystemEncoding.hs')
0 files changed, 0 insertions, 0 deletions