diff options
Diffstat (limited to 'src/consensus')
-rw-r--r-- | src/consensus/Makefile.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/consensus/Makefile.am b/src/consensus/Makefile.am index 991e36a95..4ad224aa3 100644 --- a/src/consensus/Makefile.am +++ b/src/consensus/Makefile.am | |||
@@ -10,10 +10,6 @@ plugindir = $(libdir)/gnunet | |||
10 | pkgcfg_DATA = \ | 10 | pkgcfg_DATA = \ |
11 | consensus.conf | 11 | consensus.conf |
12 | 12 | ||
13 | if MINGW | ||
14 | WINFLAGS = -Wl,--no-undefined -Wl,--export-all-symbols | ||
15 | endif | ||
16 | |||
17 | if USE_COVERAGE | 13 | if USE_COVERAGE |
18 | AM_CFLAGS = -fprofile-arcs -ftest-coverage | 14 | AM_CFLAGS = -fprofile-arcs -ftest-coverage |
19 | endif | 15 | endif |