diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 19:25:34 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 09:57:52 +0100 |
| commit | b5c3e33d87675507eff29ba1d5e1c4998b15f3fd (patch) | |
| tree | 0c1db9d049f78a1b506d2c88966b99ffef5a5ce9 /Makefile | |
| parent | de8600f92c856f9a9925ed4754ab136c53827389 (diff) | |
directory refactoring: dgit clone: call record_maintree
We are making up our own tree, here. We will need to call
record_maintree in case we need to use information which it obtains.
Currently, we don't.
But git worktrees are complicated: we are going to have to depend on
the new $maindir_git* variables, in setup_new_tree.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions