diff options
Diffstat (limited to 'obsolete-buildroot/make/valgrind.mk')
| -rw-r--r-- | obsolete-buildroot/make/valgrind.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/obsolete-buildroot/make/valgrind.mk b/obsolete-buildroot/make/valgrind.mk index ed295a3cf..1c39c31fc 100644 --- a/obsolete-buildroot/make/valgrind.mk +++ b/obsolete-buildroot/make/valgrind.mk @@ -46,7 +46,7 @@ $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched $(VALGRIND_DIR)/coregrind/valgrind.so: $(VALGRIND_DIR)/.configured $(MAKE) -C $(VALGRIND_DIR) - -$(STRIP) --strip-unneeded $(VALGRIND_DIR)/*.so* + -$(STRIP) $(VALGRIND_DIR)/*.so* touch -c $(VALGRIND_DIR)/coregrind/valgrind.so $(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/coregrind/valgrind.so |