Merge branch 'master' of git+ssh://gnunet.org/gnunet

[oweals/gnunet.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 931c747697bee171d12bb8c3749e4eed947a6d13..98ca70ae3254aaac9fbf570cdc26c06ac3a59e1f 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -12,6 +12,7 @@ endif
 
 if HAVE_EXPERIMENTAL
  EXP_DIR = \
+  dv \
   rps \
   $(CONSENSUS) \
   $(SECRETSHARING)