summaryrefslogtreecommitdiff
path: root/catlfish-benchmark/merge.cfg
diff options
context:
space:
mode:
authorMagnus Ahltorp <map@kth.se>2015-11-11 11:27:45 +0100
committerMagnus Ahltorp <map@kth.se>2015-11-11 11:27:45 +0100
commit07a3b0d06d28a05c5c73a8e1ba6e3a1abf9522a6 (patch)
tree322db82486070f8bbdc8f049b5c0ac5ba377eb41 /catlfish-benchmark/merge.cfg
parent2c7fff406b1aa916aca399fe1e0f12dfaf6acbf2 (diff)
Make benchmarking work
Diffstat (limited to 'catlfish-benchmark/merge.cfg')
-rw-r--r--catlfish-benchmark/merge.cfg2
1 files changed, 1 insertions, 1 deletions
diff --git a/catlfish-benchmark/merge.cfg b/catlfish-benchmark/merge.cfg
index 61b41f2..7ce2f89 100644
--- a/catlfish-benchmark/merge.cfg
+++ b/catlfish-benchmark/merge.cfg
@@ -6,5 +6,5 @@ paths:
logpublickey: keys/logkey.pem
privatekeys: privatekeys
known_roots: known_roots/
-
+ verifycert_bin: /usr/local/src/catlfish/verifycert.erl
mergedb: /var/run/catlfish/bench/merge/db