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

[Paul D. Smith]

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

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!


    _______________________________________________________

Reply to this item at:

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

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