summaryrefslogtreecommitdiff
path: root/catlfish-benchmark/merge.cfg
diff options
context:
space:
mode:
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