diff options
Diffstat (limited to 'make/valgrind.mk')
| -rw-r--r-- | make/valgrind.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/make/valgrind.mk b/make/valgrind.mk index 54c09ac28..f07636945 100644 --- a/make/valgrind.mk +++ b/make/valgrind.mk @@ -22,9 +22,11 @@ $(VALGRIND_DIR)/.patched: $(VALGRIND_DIR)/.unpacked $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched (cd $(VALGRIND_DIR); rm -rf config.cache; \ - PATH=$(TARGET_PATH) CC=$(TARGET_CC) \ + $(TARGET_CONFIGURE_OPTS) \ ./configure \ --target=$(GNU_TARGET_NAME) \ + --host=$(GNU_TARGET_NAME) \ + --build=$(GNU_HOST_NAME) \ --prefix=/usr \ --exec-prefix=/usr \ --bindir=/usr/bin \ |