1#!/bin/bash 2 3set -ex 4 5[ -n "$NINJA_VERSION" ] 6 7url="https://github.com/ninja-build/ninja/releases/download/v${NINJA_VERSION}/ninja-linux.zip" 8 9pushd /tmp 10wget --no-verbose --output-document=ninja-linux.zip "$url" 11unzip ninja-linux.zip -d /usr/local/bin 12rm -f ninja-linux.zip 13popd 14