diff options
| author | Richard Maw <richard.maw@codethink.co.uk> | 2014-08-19 17:18:23 +0000 |
|---|---|---|
| committer | Richard Maw <richard.maw@codethink.co.uk> | 2014-08-19 17:23:10 +0000 |
| commit | 76fe5cb4178939add86d078443a03f21b7a78229 (patch) | |
| tree | deac1f08fbf6a7a85d058e7442020c3cbb6a3005 /distbuild.configure | |
| parent | be5df0f35166096af951fb6403f03e910e101d62 (diff) | |
| download | definitions-76fe5cb4178939add86d078443a03f21b7a78229.tar.gz | |
mason: Don't checkout repo using .git suffix
Failing to do this means that the deployment uses the wrong morphology,
because build will end up using the repo without the .git suffix, so it
will never update the cached version of the repo without it.
The version with the .git suffix is only updated on the initial
checkout, but is used by deploy, so it would pick up obsolete
morphologies and not include new changes.
Rubber-stamped-by: Richard Maw
Diffstat (limited to 'distbuild.configure')
0 files changed, 0 insertions, 0 deletions