diff options
-rw-r--r-- | src/Makefile.am | 6 |
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 | |||
12 | if HAVE_EXPERIMENTAL | 12 | if HAVE_EXPERIMENTAL |
13 | EXP_DIR = \ | 13 | EXP_DIR = \ |
14 | rps \ | 14 | rps \ |
15 | credential \ | 15 | credential |
16 | reclaim-attribute \ | ||
17 | reclaim | ||
18 | if HAVE_ABE | 16 | if 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 | ||