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 |