diff options
Diffstat (limited to 'make/valgrind.mk')
| -rw-r--r-- | make/valgrind.mk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/make/valgrind.mk b/make/valgrind.mk index 221415339..54c09ac28 100644 --- a/make/valgrind.mk +++ b/make/valgrind.mk @@ -22,7 +22,7 @@ $(VALGRIND_DIR)/.patched: $(VALGRIND_DIR)/.unpacked $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched (cd $(VALGRIND_DIR); rm -rf config.cache; \ - PATH=$(STAGING_DIR)/bin:$$PATH CC=$(TARGET_CC) \ + PATH=$(TARGET_PATH) CC=$(TARGET_CC) \ ./configure \ --target=$(GNU_TARGET_NAME) \ --prefix=/usr \ @@ -43,12 +43,11 @@ $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched touch $(VALGRIND_DIR)/.configured $(VALGRIND_DIR)/valgrind.so: $(VALGRIND_DIR)/.configured - $(MAKE) CC=$(TARGET_CC) -C $(VALGRIND_DIR) + $(MAKE) -C $(VALGRIND_DIR) -$(STRIP) --strip-unneeded $(VALGRIND_DIR)/*.so* touch -c $(VALGRIND_DIR)/valgrind.so $(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/valgrind.so - PATH=$(STAGING_DIR)/bin:$$PATH CC=$(TARGET_CC) \ $(MAKE) \ prefix=$(TARGET_DIR)/usr \ exec_prefix=$(TARGET_DIR)/usr \ |