summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-10-14 14:09:10 +0000
committerng0 <ng0@n0.is>2019-10-14 14:09:10 +0000
commit85ecc906734c1f077d815551e51df5607b7a15d7 (patch)
tree9918181e1edc31c3009e87bb0a4a8ea4654744c8
parent9297532d6c2f3c8c700b114725ce79c0a9a2e001 (diff)
parent0bd7e210600d4c391bc6c35f909f1960123de743 (diff)
Merge branch 'master' of gnunet.org:gnunet
-rw-r--r--src/Makefile.am8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/Makefile.am b/src/Makefile.am
index 51bf2d63d..09d176100 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -12,9 +12,7 @@ endif
if HAVE_EXPERIMENTAL
EXP_DIR = \
rps \
- abd \
- reclaim-attribute \
- reclaim
+ abd
if HAVE_ABE
EXP_DIR += \
abe
@@ -59,6 +57,9 @@ endif
if HAVE_MHD
if HAVE_JSON
REST_DIR = rest
+ RECLAIM_DIR = \
+ reclaim-attribute \
+ reclaim
endif
endif
@@ -121,6 +122,7 @@ SUBDIRS = \
exit \
pt \
secretsharing \
+ $(RECLAIM_DIR) \
$(EXP_DIR) \
integration-tests