| #!/bin/bash | |
| # Version of ninja to build -- can be any git revision | |
| VERSION="v1.7.1" | |
| set -ev | |
| SCRIPT_HASH=$(sha1sum ${BASH_SOURCE[0]} | awk '{print $1}') | |
| cd ~ | |
| if [[ -d ninjabin && "$SCRIPT_HASH" == "$(cat ninjabin/script_hash)" ]]; then | |
| exit 0 | |
| fi | |
| git clone https://github.com/martine/ninja | |
| cd ninja | |
| ./configure.py --bootstrap | |
| mkdir -p ../ninjabin | |
| rm -f ../ninjabin/ninja | |
| echo -n $SCRIPT_HASH >../ninjabin/script_hash | |
| mv ninja ../ninjabin/ |