Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Building `all` target for tools/build.py currently fails #35631
Currently, trying to build the all target (here, using the
As requested, I'm reverting a previous change to the default in the build script and am filing this bug instead.