1 files changed, 4 insertions, 1 deletions

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