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: Fri, 29 Dec 2017 03:26:16 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:57.0) Gecko/20100101 Firefox/57.0

Follow-up Comment #18, bug #52076 (project make):

I had pushed this patch into openSUSE in October
and it helps to produce more reproducible build results now
while I have not heard any complaints yet.

    _______________________________________________________

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]