|
@@ -30,16 +30,6 @@ $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched
|
|
--host=$(GNU_TARGET_NAME) \
|
|
--host=$(GNU_TARGET_NAME) \
|
|
--build=$(GNU_HOST_NAME) \
|
|
--build=$(GNU_HOST_NAME) \
|
|
--prefix=/usr \
|
|
--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) \
|
|
$(DISABLE_NLS) \
|
|
--without-uiout --disable-valgrindmi \
|
|
--without-uiout --disable-valgrindmi \
|
|
--disable-tui --disable-valgrindtk \
|
|
--disable-tui --disable-valgrindtk \
|