diff options
Diffstat (limited to 'src/peerinfo-tool/Makefile.am')
| -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 | ||