diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 1ef92db41..8c107bf83 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -14,6 +14,7 @@ if HAVE_EXPERIMENTAL | |||
14 | EXP_DIR = \ | 14 | EXP_DIR = \ |
15 | dv \ | 15 | dv \ |
16 | multicast \ | 16 | multicast \ |
17 | env \ | ||
17 | psyc \ | 18 | psyc \ |
18 | $(CONSENSUS) \ | 19 | $(CONSENSUS) \ |
19 | $(EXPERIMENTATION) | 20 | $(EXPERIMENTATION) |