From 83e5d0b4f8a3b6a532a835e11d2dcea8ec32c39d Mon Sep 17 00:00:00 2001
From: Ulrich Bauer <mail@ulrich-bauer.org>
Date: Mon, 8 Jul 2019 09:35:48 +0200
Subject: pin ripser version in benchmark

---
 benchmarks/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

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"
-- 
cgit v1.2.3