On Mon, 2 Mar 2020, Florian Weimer wrote: > These commands are helpful for scripting the distribution of > build-many-glibcs.py runs across multiple builders. OK. -- Joseph S. Myers joseph@codesourcery.com