From 4ffa88828d1f14aeef51a777d553e904549fb03e Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 2 Jan 2018 02:55:01 +0100 Subject: fix more 'make dist' issues --- src/set/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/set') 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 -- cgit v1.2.3