[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: |
Sun, 24 Sep 2017 15:12:18 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 |
Follow-up Comment #11, bug #52076 (project make):
Over the last months I pushed dozens of patches to various upstream projects
e.g. [1]
so that they use $(sort $(wildcard
but it is a lot of effort and it would never stop,
because people keep creating new code and new Makefiles.
Because (for openSUSE) our goal is to create a distribution that builds
reproducibly, we can also include a make with this patch. We will have a
different gcc than others anyway, so build results will not be the same on
other distributions.
For now, I'm happy when I can fire up two build processes (that happen in
disposable VMs) and get the same binary packages out when all the build
binaries and sources are the same.
[1] https://github.com/dunst-project/dunst/pull/372/files
https://github.com/01org/libinvm-cli/pull/4/files
https://github.com/01org/libinvm-cim/pull/3/files
_______________________________________________________
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, (continued)
- [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., 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, 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. <=
- [bug #52076] wildcard/glob should be sorted, Eli Zaretskii, 2017/09/29