diff options
| author | Ralf Jung | 2017-09-29 11:54:57 +0200 |
|---|---|---|
| committer | Ralf Jung | 2017-09-29 11:54:57 +0200 |
| commit | 388db1f6be8a52d0585cdf48489dfab8499d7ef5 (patch) | |
| tree | 1ada83e67ae8a3a615a7e65b6e08c9c956d99b15 /dev/ci | |
| parent | 39eb1cfb3ac9bc12b6cd80e6bca7c4baf6b365c0 (diff) | |
start counting at 0...
Diffstat (limited to 'dev/ci')
| -rwxr-xr-x | dev/ci/ci-iris-coq.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ci/ci-iris-coq.sh b/dev/ci/ci-iris-coq.sh index 4347da1da4..c49b6ed9c9 100755 --- a/dev/ci/ci-iris-coq.sh +++ b/dev/ci/ci-iris-coq.sh @@ -21,7 +21,7 @@ stdpp_URL=$(opam show coq-stdpp.$stdpp_VERSION -f upstream-url) read -a stdpp_URL_PARTS <<< $(echo $stdpp_URL | tr '#' ' ') # Setup std++ -git_checkout ${stdpp_CI_BRANCH} ${stdpp_URL_PARTS[1]} ${stdpp_CI_DIR} ${stdpp_URL_PARTS[2]} +git_checkout ${stdpp_CI_BRANCH} ${stdpp_URL_PARTS[0]} ${stdpp_CI_DIR} ${stdpp_URL_PARTS[1]} ( cd ${stdpp_CI_DIR} && make && make install ) # Build iris now |