diff --git a/ninja b/ninja index 112002ee2..a94632458 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 diff --git a/ninja-linux32 b/ninja-linux32 index 66a9e7b6c..590b7b79d 100755 Binary files a/ninja-linux32 and b/ninja-linux32 differ diff --git a/ninja-linux64 b/ninja-linux64 index 189832fdb..b8dc64f12 100755 Binary files a/ninja-linux64 and b/ninja-linux64 differ diff --git a/ninja-mac b/ninja-mac index d26afc28e..43e0d6c52 100755 Binary files a/ninja-mac and b/ninja-mac differ diff --git a/ninja.exe b/ninja.exe index 1b30c1eb4..cdec86bb6 100755 Binary files a/ninja.exe and b/ninja.exe differ