diff options
| -rw-r--r-- | make/valgrind.mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/make/valgrind.mk b/make/valgrind.mk index 52a6d9a1a..4043851ff 100644 --- a/make/valgrind.mk +++ b/make/valgrind.mk @@ -31,13 +31,15 @@ $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched --without-included-gettext); touch $(VALGRIND_DIR)/.configured -$(VALGRIND_DIR)/valgrind: $(VALGRIND_DIR)/.configured +$(VALGRIND_DIR)/valgrind.so: $(VALGRIND_DIR)/.configured make CC=$(TARGET_CC1) -C $(VALGRIND_DIR) -$(STRIP) --strip-unneeded $(VALGRIND_DIR)/*.so* + touch -c $(VALGRIND_DIR)/valgrind.so -$(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/valgrind +$(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/valgrind.so make CC=$(TARGET_CC1) DESTDIR=$(TARGET_DIR) -C $(VALGRIND_DIR) install rm -rf $(TARGET_DIR)/usr/share/doc/valgrind + touch -c $(TARGET_DIR)/usr/bin/valgrind valgrind: $(TARGET_DIR)/usr/bin/valgrind |