mirror of
https://github.com/boostorg/build.git
synced 2026-02-16 01:12:13 +00:00
* util/path.jam (glob): Call 'set.unique' on the result, to workaround
case-insensitivity of some platforms. [SVN r26837]
This commit is contained in:
@@ -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) ] ;
|
||||
}
|
||||
|
||||
#
|
||||
|
||||
Reference in New Issue
Block a user