diff --git a/src/util/sequence.jam b/src/util/sequence.jam index 9482934c8..187e192a6 100644 --- a/src/util/sequence.jam +++ b/src/util/sequence.jam @@ -179,12 +179,14 @@ rule length ( s * ) rule unique ( list * ) { local result ; - for local f in $(list) + local prev ; + for local i in [ SORT $(list) ] { - if ! $(f) in $(result) + if $(i) != $(prev) { - result += $(f) ; + result += $(i) ; } + prev = $(i) ; } return $(result) ; }