[GNUnet-SVN] r36754 - gnunet/src/set

[gnunet]

Author: dold
Date: 2015-12-11 17:50:31 +0100 (Fri, 11 Dec 2015)
New Revision: 36754

Modified:
   gnunet/src/set/Makefile.am
Log:
Also install set profiler.


Modified: gnunet/src/set/Makefile.am
===================================================================
--- gnunet/src/set/Makefile.am  2015-12-10 16:31:20 UTC (rev 36753)
+++ gnunet/src/set/Makefile.am  2015-12-11 16:50:31 UTC (rev 36754)
@@ -16,8 +16,11 @@
   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