diff options
| -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" |