diff options
author | Florian Dold <florian.dold@gmail.com> | 2015-12-11 16:50:31 +0000 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2015-12-11 16:50:31 +0000 |
commit | 912f323c9f28c069195ff73926307d4aa92c78ac (patch) | |
tree | 7a62260e3a4f56fd2e9db7996be0424b9174d0c8 /src/set/Makefile.am | |
parent | 79d5251a7a1f15cba527d1f6d6d584499e678a82 (diff) | |
download | gnunet-912f323c9f28c069195ff73926307d4aa92c78ac.tar.gz gnunet-912f323c9f28c069195ff73926307d4aa92c78ac.zip |
Also install set profiler.
Diffstat (limited to 'src/set/Makefile.am')
-rw-r--r-- | src/set/Makefile.am | 5 |
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 | |||
16 | AM_CFLAGS = -fprofile-arcs -ftest-coverage | 16 | AM_CFLAGS = -fprofile-arcs -ftest-coverage |
17 | endif | 17 | endif |
18 | 18 | ||
19 | bin_PROGRAMS = \ | ||
20 | gnunet-set-profiler | ||
21 | |||
19 | noinst_PROGRAMS = \ | 22 | noinst_PROGRAMS = \ |
20 | gnunet-set-profiler gnunet-set-ibf-profiler | 23 | gnunet-set-ibf-profiler |
21 | 24 | ||
22 | libexec_PROGRAMS = \ | 25 | libexec_PROGRAMS = \ |
23 | gnunet-service-set | 26 | gnunet-service-set |