back to manual installation

skvark · skvark · commit 3186d5aa524d · 2017-03-06T20:11:36.000+02:00
diff --git a/travis/install-ninja.sh b/travis/install-ninja.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+wget https://github.com/ninja-build/ninja/releases/download/v1.7.2/ninja-linux.zip -O ninja.zip
+unzip ninja.zip
+rm ninja.zip
+chmod o+r ninja
+ls -la
+export PATH=$PATH:$(pwd)
+echo $PATH
