[bug #63215] --shuffle=random doesn't properly initialize config.seed

[James Hilliard]

Follow-up Comment #2, bug #63215 (project make):


[comment #1 comment #1:]
> Using 0 here still gives a random shuffle because 0 means "generate a new
random number".  However you're right that this is not correct because it
doesn't allow us to recreate the random value.
> 
> Thanks for the note!

Should I send my suggested change as a patch to the mailing list or is a
different approach preferred?


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?63215>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/