diff options
| -rw-r--r-- | src/set/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/set/Makefile.am b/src/set/Makefile.am index 8aaea88f2..9cc7c0e6d 100644 --- a/src/set/Makefile.am +++ b/src/set/Makefile.am | |||
| @@ -15,7 +15,7 @@ if USE_COVERAGE | |||
| 15 | AM_CFLAGS = -fprofile-arcs -ftest-coverage | 15 | AM_CFLAGS = -fprofile-arcs -ftest-coverage |
| 16 | endif | 16 | endif |
| 17 | 17 | ||
| 18 | bin_PROGRAMS = \ | 18 | noinst_PROGRAMS = \ |
| 19 | gnunet-set-profiler gnunet-set-ibf-profiler | 19 | gnunet-set-profiler gnunet-set-ibf-profiler |
| 20 | 20 | ||
| 21 | libexec_PROGRAMS = \ | 21 | libexec_PROGRAMS = \ |