Index: ninja |
diff --git a/ninja b/ninja |
index 112002ee28b12d44b053c2a3694b267f9a367975..a9463245803a7bf5cac519005b07e30698bf8a87 100755 |
--- a/ninja |
+++ b/ninja |
@@ -12,7 +12,7 @@ cat <<-EOF |
No prebuilt ninja binary was found for this system. |
Try building your own binary by doing: |
cd ~ |
- git clone https://github.com/martine/ninja.git -b v1.7.1 |
+ git clone https://github.com/martine/ninja.git -b v1.7.2 |
cd ninja && ./configure.py --bootstrap |
Then add ~/ninja/ to your PATH. |
EOF |