1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
| #!/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/
|
|
