diff options
Diffstat (limited to 'src/peerinfo-tool')
-rw-r--r-- | src/peerinfo-tool/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/peerinfo-tool/Makefile.am b/src/peerinfo-tool/Makefile.am index 93252570c..dfcdcd3da 100644 --- a/src/peerinfo-tool/Makefile.am +++ b/src/peerinfo-tool/Makefile.am | |||
@@ -6,9 +6,7 @@ if USE_COVERAGE | |||
6 | XLIB = -lgcov | 6 | XLIB = -lgcov |
7 | endif | 7 | endif |
8 | 8 | ||
9 | if HAVE_REST | ||
10 | REST_PLUGIN = libgnunet_plugin_rest_peerinfo.la | 9 | REST_PLUGIN = libgnunet_plugin_rest_peerinfo.la |
11 | endif | ||
12 | 10 | ||
13 | plugindir = $(libdir)/gnunet | 11 | plugindir = $(libdir)/gnunet |
14 | 12 | ||