diff options
| -rw-r--r-- | package/valgrind/valgrind.mk | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/package/valgrind/valgrind.mk b/package/valgrind/valgrind.mk index e7deb81af..2147a736b 100644 --- a/package/valgrind/valgrind.mk +++ b/package/valgrind/valgrind.mk @@ -30,16 +30,6 @@ $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched --host=$(GNU_TARGET_NAME) \ --build=$(GNU_HOST_NAME) \ --prefix=/usr \ - --exec-prefix=/usr \ - --bindir=/usr/bin \ - --sbindir=/usr/sbin \ - --libdir=/lib \ - --libexecdir=/usr/lib \ - --sysconfdir=/etc \ - --datadir=/usr/share \ - --localstatedir=/var \ - --mandir=/usr/man \ - --infodir=/usr/info \ $(DISABLE_NLS) \ --without-uiout --disable-valgrindmi \ --disable-tui --disable-valgrindtk \ |