summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-08-19 11:05:43 +0200
committerChristian Grothoff <christian@grothoff.org>2020-08-19 11:05:43 +0200
commit598375363d2b491d97972cb4ec10ebe72343716c (patch)
treea7e247d15044ee948e28b19ee40909cf42bc1eb2
parent6dabecce0f319d5e6c1a26dc09abf689c7249971 (diff)
-fix ftbfs
-rw-r--r--src/Makefile.am2
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 = \
namestore \
cadet \
set \
+ seti \
+ setu \
consensus \
scalarproduct \
revocation \