[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #52076] wildcard/glob should be sorted
From: |
Bernhard M. |
Subject: |
[bug #52076] wildcard/glob should be sorted |
Date: |
Thu, 21 Sep 2017 10:07:39 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 |
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 ChangeLog only mentions
https://sourceware.org/bugzilla/show_bug.cgi?id=10246
which is unrelated
and 95f1a32d27eef91a8a037522467d7060e7da2624 which added the NEWS entry links
to
http://sv.gnu.org/bugs/index.php?group=make&report_id=111&fix_release_id=104&set=custom
which lists 90 bugs, with a handful related to wildcard
but I found none about performance or sorting
I also glanced over
https://lists.gnu.org/archive/html/bug-make/2009-05/threads.html
https://lists.gnu.org/archive/html/help-make/2009-05/threads.html
and the ones for start of June but also did not find anything
so I would be grateful for a pointer to that previous bug/discussion
OTOH the patch is simple enough that I already considered pushing it into
openSUSE which would solve the issue for us, but I thought it would be nicer
to let everyone profit from such a nice fix (instead of having to touch 100+
packages to fix each of them individually) to make them build reproducibly.
( See https://reproducible-builds.org/ on why this matters )
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?52076>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [bug #52076] wildcard/glob should be sorted, Bernhard M., 2017/09/20
- [bug #52076] wildcard/glob should be sorted, anonymous, 2017/09/20
- [bug #52076] wildcard/glob should be sorted, Bernhard M., 2017/09/20
- Re: [bug #52076] wildcard/glob should be sorted, Sven C. Dack, 2017/09/21
- [bug #52076] wildcard/glob should be sorted, David Boyce, 2017/09/21
- [bug #52076] wildcard/glob should be sorted, Martin Dorey, 2017/09/21
- [bug #52076] wildcard/glob should be sorted,
Bernhard M. <=
- [bug #52076] wildcard/glob should be sorted, David Boyce, 2017/09/21
- [bug #52076] wildcard/glob should be sorted, Bernhard M., 2017/09/21
- [bug #52076] wildcard/glob should be sorted, David Boyce, 2017/09/21
- [bug #52076] wildcard/glob should be sorted, Bernhard M., 2017/09/21
- [bug #52076] wildcard/glob should be sorted, Paul D. Smith, 2017/09/24
- [bug #52076] wildcard/glob should be sorted, Bernhard M., 2017/09/24
- [bug #52076] wildcard/glob should be sorted, Eli Zaretskii, 2017/09/29