On Tue, 17 Dec 2019, Florian Weimer wrote: > They are not used during the subsequent glibc build, so creating them > merely wastes time. > > ----- > scripts/build-many-glibcs.py | 7 +++++-- > 1 file changed, 5 insertions(+), 2 deletions(-) OK. -- Joseph S. Myers joseph@codesourcery.com