[bug #52076] wildcard/glob should be sorted

2017-09-21 Thread Bernhard M.
Follow-up Comment #9, bug #52076 (project make): I thought, the NEWS entry was added shortly after the commit, but actually there were 13 months in between, thus I now found https://savannah.gnu.org/bugs/?27381 involving psmith (the commit author) not being sure why it was added, only 3 months a

[bug #52076] wildcard/glob should be sorted

2017-09-21 Thread David Boyce
Follow-up Comment #8, bug #52076 (project make): Sorry, missed that. ___ Reply to this item at: ___ Message sent via/by Savannah http://savannah.gnu.

[bug #52076] wildcard/glob should be sorted

2017-09-21 Thread Bernhard M.
Follow-up Comment #7, bug #52076 (project make): The commit b9f831b8 is already mentioned in comment 0 But there are no pointers to any related bug or discussion. ___ Reply to this item at:

[bug #52076] wildcard/glob should be sorted

2017-09-21 Thread David Boyce
Follow-up Comment #6, bug #52076 (project make): Since make has used git for some years now I'd think "git bisect" or "git blame" or similar would be the way to find the commit. ___ Reply to this item at:

[bug #52076] wildcard/glob should be sorted

2017-09-21 Thread Martin Dorey
Follow-up Comment #4, bug #52076 (project make): There must have been discussion about changing that setting, then removing it, documenting it and reapplying it. Perhaps I even vaguely remember it? You'd think it'd be easy enough to find. I did but I've spent a good ten minutes trying to find i

[bug #52076] wildcard/glob should be sorted

2017-09-21 Thread Bernhard M.
Follow-up Comment #5, bug #52076 (project make): > At the least you should find the original bug report and/or discussion threads and read through them. I'm fairly sure they'd include their own metrics demonstrating the value of GLOB_NOSORT leading to a more informed discussion. The commit Change

[bug #52076] wildcard/glob should be sorted

2017-09-21 Thread David Boyce
Follow-up Comment #3, bug #52076 (project make): I think you're wasting time re-litigating this. It's not a bug, it was a deliberate, documented change from a while ago. The odds of getting it changed back are low, and even if that happened it would be a long time before a release with the change

Re: [bug #52076] wildcard/glob should be sorted

2017-09-21 Thread Sven C. Dack
One thought I have here is that the sorting algorithm itself may not have a significant impact, but hard disk latencies may well make a difference. What one sees as an (alphabetically) unordered list may well be an ordering significant to a file system's performance, meaning, it's not a compl