diff options
| -rw-r--r-- | benchmarks/Dockerfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/benchmarks/Dockerfile b/benchmarks/Dockerfile index 78b659e..e482807 100644 --- a/benchmarks/Dockerfile +++ b/benchmarks/Dockerfile @@ -69,7 +69,6 @@ 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" |