Menu

#31 _SOURCES should be sorted

open
nobody
None
5
2013-01-10
2006-10-25
No

apparently compilation of files is done in the order as
they appear in _SOURCES. internally, this variable is
already a list, but it happens to be built in a
non-deterministic way which is not even wanted to be
deterministic.

give the internal representation of the _SOURCES
variable a flag named "sorted" or the like.

Discussion


Log in to post a comment.

MongoDB Logo MongoDB