summaryrefslogtreecommitdiff
path: root/src/Makefile.am
diff options
context:
space:
mode:
authorSchanzenbach, Martin <mschanzenbach@posteo.de>2019-04-11 21:21:06 +0200
committerSchanzenbach, Martin <mschanzenbach@posteo.de>2019-04-14 10:01:23 +0200
commit947b84dcdee19d6a4b1fcad10618a2b4f505b3b9 (patch)
tree0fa179fa42b7e4040976886208f0d23d79613fd4 /src/Makefile.am
parent94f8e5437da8cc1c5ee38a333da2e1c68b3289f1 (diff)
RECLAIM: improve help
Diffstat (limited to 'src/Makefile.am')
-rw-r--r--src/Makefile.am14
1 files changed, 6 insertions, 8 deletions
diff --git a/src/Makefile.am b/src/Makefile.am
index c1c708aa6..b16792e15 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -11,19 +11,17 @@ endif
if HAVE_EXPERIMENTAL
EXP_DIR = \
- rps
+ rps \
+ credential \
+ reclaim-attribute \
+ reclaim
if HAVE_ABE
-if HAVE_JSON
EXP_DIR += \
- abe \
- credential \
- reclaim-attribute \
- reclaim
-endif
+ abe \
endif
if HAVE_JSON
EXP_DIR += \
- auction
+ auction
endif
endif