bug-make
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]