summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSchanzenbach, Martin <mschanzenbach@posteo.de>2019-10-14 14:49:44 +0200
committerSchanzenbach, Martin <mschanzenbach@posteo.de>2019-10-14 14:49:44 +0200
commit0bd7e210600d4c391bc6c35f909f1960123de743 (patch)
tree7e6aac04815fa26d47203c3ec7e1390590729648
parent6dce2a314c8823fcf0b619f9f447d9ea7126d958 (diff)
readd reclaim
-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