diff options
| author | Eric Andersen <andersen@codepoet.org> | 2003-02-12 08:10:40 +0000 |
|---|---|---|
| committer | Eric Andersen <andersen@codepoet.org> | 2003-02-12 08:10:40 +0000 |
| commit | d322f37644811964ee7da64c4d3fcffd8898869f (patch) | |
| tree | f7e2ba6c81659bb3db7257d894df9bffe7507db0 /make/valgrind.mk | |
| parent | e03eb9438ec2a2a8036f025df8cd112c1b686c63 (diff) | |
Lots and lots of changes
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 \ |