diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2021-04-22 15:32:09 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2021-06-09 15:18:32 +0300 |
commit | aee787bce2b94a057ad8e6fd42e2cd901776e348 (patch) | |
tree | 0d2aa48098bedf038eebfae91bdb046981d811ed /bpkg/rep-fetch.cxx | |
parent | 22b0062ac4ec1efd34f78831c828d9a187b34da1 (diff) |
Various cleanups
Diffstat (limited to 'bpkg/rep-fetch.cxx')
-rw-r--r-- | bpkg/rep-fetch.cxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bpkg/rep-fetch.cxx b/bpkg/rep-fetch.cxx index 3239421..ef4c110 100644 --- a/bpkg/rep-fetch.cxx +++ b/bpkg/rep-fetch.cxx @@ -1444,6 +1444,10 @@ namespace bpkg // Add the repository, unless it is already a top-level one and has the // same location. // + // Note that on Windows we can overwrite the local repository location + // with the same location but some characters specified in a different + // case, which is ok. + // if (ua.find (r) == ua.end () || r.load ()->location.url () != rl.url ()) rep_add (o, t, rl); |