summaryrefslogtreecommitdiff
path: root/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment
blob: b45941ab5a1a35575f663900148a2a45a674f8d1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
[[!comment format=mdwn
 username="joey"
 subject="""comment 7"""
 date="2017-12-03T18:20:25Z"
 content="""
Felix did some more work on this last April, in his precompiled-rebased-2
branch.

In particular, that branch is supposed to handle case #3 above (by a git
clone to temp dir and move of the files).

Felix said he had not tested it, and I have not tested it either. If
someone can try his branch and confirm that it works, including handling
of cases #2 and #3 above, I'd be happy to merge it.

(origin/precompiled has the above branch and has had current master
cleanly merged into it, and builds successfully.)
"""]]