aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Makefile.am6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Makefile.am b/src/Makefile.am
index 6eaafdeee..ab8731fc2 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -12,9 +12,7 @@ endif
12if HAVE_EXPERIMENTAL 12if HAVE_EXPERIMENTAL
13 EXP_DIR = \ 13 EXP_DIR = \
14 rps \ 14 rps \
15 credential \ 15 credential
16 reclaim-attribute \
17 reclaim
18if HAVE_ABE 16if HAVE_ABE
19 EXP_DIR += \ 17 EXP_DIR += \
20 abe 18 abe
@@ -121,6 +119,8 @@ SUBDIRS = \
121 exit \ 119 exit \
122 pt \ 120 pt \
123 secretsharing \ 121 secretsharing \
122 reclaim-attribute \
123 reclaim \
124 $(EXP_DIR) \ 124 $(EXP_DIR) \
125 integration-tests 125 integration-tests
126 126