diff options
author | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-07-08 09:35:48 +0200 |
---|---|---|
committer | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-07-08 09:35:48 +0200 |
commit | 83e5d0b4f8a3b6a532a835e11d2dcea8ec32c39d (patch) | |
tree | cdbc2fc7a7d8ca454e70860eeb501f6df6478567 | |
parent | c0b5081c9cb02dd2e025fb7681df07f3f90886a5 (diff) |
pin ripser version in benchmark
-rw-r--r-- | benchmarks/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/benchmarks/Dockerfile b/benchmarks/Dockerfile index 92bbb2c..3445369 100644 --- a/benchmarks/Dockerfile +++ b/benchmarks/Dockerfile @@ -69,6 +69,7 @@ FROM benchmark-setup as benchmark-ripser WORKDIR /ripser RUN git clone https://github.com/Ripser/ripser.git \ && cd ripser \ +&& git checkout c0b508 \ && make ENV PATH="${PATH}:/ripser/ripser" |