diff options
author | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-07-13 16:45:33 +0200 |
---|---|---|
committer | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-07-13 16:45:33 +0200 |
commit | 10e21898c484982d91ebcf95beccb07910f6deff (patch) | |
tree | 9872d3cab9336cb2ac504df93b20b8c933935f35 | |
parent | dbd9a9ed1f92ec88414e6ea7287f5bd9de2d784f (diff) |
unpin ripser version
-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" |