From f9fde897e095c56710d4d8b17d83511aa72c5bb0 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 5 Nov 2014 23:50:29 +0100
Subject: [PATCH] Better logging in index when benchmarking (again)

---
 bench/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench/Makefile b/bench/Makefile
index fdcec14b..e413f654 100644
--- a/bench/Makefile
+++ b/bench/Makefile
@@ -31,6 +31,6 @@ $(SOLVER):
 
 $(LOGDIR)/raw/%.done : $(PROVER)
 	@mkdir -p $(dir $@)
-	@echo "solving problem $*.cnf..."
+	@echo "solving problem $*.cnf..." | tee -a $(INDEX)
 	@./run_prover "$(CMD)" "$*.cnf" "$@"