diff options
| -rwxr-xr-x | tools/compileconfig.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/compileconfig.py b/tools/compileconfig.py index d493226..5ad0866 100755 --- a/tools/compileconfig.py +++ b/tools/compileconfig.py @@ -247,6 +247,7 @@ def gen_config(nodename, config, localconfig): if nodetype == "frontendnodes": plopconfig += [ (Symbol("sth_path"), paths["db"] + "sth"), + (Symbol("sendsth_verified_path"), paths["db"] + "sendsth-verified"), (Symbol("entryhash_from_entry"), (Symbol("catlfish"), Symbol("entryhash_from_entry"))), ] |