diff options
-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 446b1aa2a..234a63389 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -89,6 +89,8 @@ SUBDIRS = \ | |||
89 | namestore \ | 89 | namestore \ |
90 | cadet \ | 90 | cadet \ |
91 | set \ | 91 | set \ |
92 | seti \ | ||
93 | setu \ | ||
92 | consensus \ | 94 | consensus \ |
93 | scalarproduct \ | 95 | scalarproduct \ |
94 | revocation \ | 96 | revocation \ |