1 files changed, 2 insertions, 0 deletions

diff --git a/src/set/Makefile.am b/src/set/Makefile.am
index 0142b1729..4d990479c 100644
--- a/src/set/Makefile.am
+++ b/src/set/Makefile.am
@@ -16,11 +16,13 @@ if USE_COVERAGE
   AM_CFLAGS = -fprofile-arcs -ftest-coverage
 endif
 
+if HAVE_TESTING
 bin_PROGRAMS = \
  gnunet-set-profiler
 
 noinst_PROGRAMS = \
  gnunet-set-ibf-profiler
+endif
 
 libexec_PROGRAMS = \
  gnunet-service-set