Use the ninja already in the docker build.

This commit is contained in:
David Neto 2023-02-02 16:23:49 -05:00 committed by Jeremy Hayes
parent 8329d4a44b
commit d62ef8a20a

View File

@ -34,8 +34,13 @@
# POSSIBILITY OF SUCH DAMAGE.
set -e # Fail on any error.
. /bin/using.sh # Declare the bash `using` function for configuring toolchains.
set -x # Display commands being run.
using ninja-1.10.0
# Disable git's "detected dubious ownership" error - kokoro checks out the repo
# with a different user, and we don't care about this warning.
git config --global --add safe.directory '*'