diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 0d47cb2b4..e95fdb222 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -6,6 +6,7 @@ if HAVE_TESTING | |||
6 | TESTING = testing | 6 | TESTING = testing |
7 | TESTBED = testbed | 7 | TESTBED = testbed |
8 | CONSENSUS = consensus | 8 | CONSENSUS = consensus |
9 | SECRETSHARING = secretsharing | ||
9 | EXPERIMENTATION = experimentation | 10 | EXPERIMENTATION = experimentation |
10 | endif | 11 | endif |
11 | 12 | ||
@@ -15,6 +16,7 @@ if HAVE_EXPERIMENTAL | |||
15 | env \ | 16 | env \ |
16 | psyc \ | 17 | psyc \ |
17 | $(CONSENSUS) \ | 18 | $(CONSENSUS) \ |
19 | $(SECRETSHARING) \ | ||
18 | $(EXPERIMENTATION) | 20 | $(EXPERIMENTATION) |
19 | endif | 21 | endif |
20 | 22 | ||