diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2021-04-22 15:32:09 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2021-07-09 13:12:35 +0300 |
commit | ce6b3c9c1f0b550181ca1f5a89d732fc3df8fdf4 (patch) | |
tree | 08ac876e3abdfc74436e11ad60d9ca0654a00731 /bpkg/rep-fetch.cxx | |
parent | bc681a6c20dcd5aa048309aab6aa022019b7c98c (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); |