summaryrefslogtreecommitdiff
path: root/src/set
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-01-02 02:55:01 +0100
committerChristian Grothoff <christian@grothoff.org>2018-01-02 11:57:10 +0100
commit4ffa88828d1f14aeef51a777d553e904549fb03e (patch)
treef57d025d8a2766d19053a15606e7b694804ae84e /src/set
parent4e084e4842cddf5de988534c84e2d65bb122472f (diff)
fix more 'make dist' issues
Diffstat (limited to 'src/set')
-rw-r--r--src/set/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/set/Makefile.am b/src/set/Makefile.am
index 14667d0ef..df17fa1ab 100644
--- a/src/set/Makefile.am
+++ b/src/set/Makefile.am
@@ -52,7 +52,7 @@ gnunet_set_ibf_profiler_LDADD = \
gnunet_service_set_SOURCES = \
gnunet-service-set.c gnunet-service-set.h \
gnunet-service-set_union.c gnunet-service-set_union.h \
- gnunet-service-set_intersection.c \
+ gnunet-service-set_intersection.c gnunet-service-set_intersection.h \
ibf.c ibf.h \
gnunet-service-set_union_strata_estimator.c gnunet-service-set_union_strata_estimator.h \
gnunet-service-set_protocol.h