blob: 5309945c78e6399b686af9a80c7536f5e41018c2 (
plain)
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/
|
