Browse Source

Github seems to be having issues on port 22

master
Ray Burgemeestre 2 years ago
parent
commit
61dd3b7ccf
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      v8pp/build-v8.sh

+ 1
- 1
v8pp/build-v8.sh View File

@@ -3,7 +3,7 @@
set -ex

# I guess now we have to install ninja ourselves.. sigh..
git clone git://github.com/ninja-build/ninja.git
git clone https://github.com/ninja-build/ninja.git
pushd ninja
git checkout v1.11.1


Loading…
Cancel
Save