diff --git a/v2/util/path.jam b/v2/util/path.jam index 74aa9197a..29b1e96e3 100644 --- a/v2/util/path.jam +++ b/v2/util/path.jam @@ -247,7 +247,10 @@ rule glob ( dirs * : patterns + ) } } } - return $(result) ; + # Windows is not case-sensitive, so if you're globbing + # for Jamroot and jamroot, the result will include 'Jamroot' + # twice. Remove duplicates. + return [ sequence.unique $(result) ] ; } #