diff options
| author | Peter Korsgaard <jacmet@sunsite.dk> | 2008-06-15 20:44:05 +0000 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2008-06-15 20:44:05 +0000 |
| commit | 1d141bcfd14442ff04d7771a6ebbdb9b58ae9b63 (patch) | |
| tree | ed48a2acb5e384d8b8e1943bc7e7c44df2e5be5b /package/valgrind | |
| parent | e1cfbc56459db5afbfd415d5db8bdfd5f309807b (diff) | |
valgrind: there is no vgskin_none.so anymore, use coregrind/valgrind instead
Diffstat (limited to 'package/valgrind')
| -rw-r--r-- | package/valgrind/valgrind.mk | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/package/valgrind/valgrind.mk b/package/valgrind/valgrind.mk index 6a8af8b5d..3ab8631b0 100644 --- a/package/valgrind/valgrind.mk +++ b/package/valgrind/valgrind.mk @@ -39,12 +39,11 @@ $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched ) touch $(VALGRIND_DIR)/.configured -$(VALGRIND_DIR)/none/vgskin_none.so: $(VALGRIND_DIR)/.configured +$(VALGRIND_DIR)/coregrind/valgrind: $(VALGRIND_DIR)/.configured $(MAKE) -C $(VALGRIND_DIR) - -$(STRIPCMD) $(STRIP_STRIP_UNNEEDED) $(VALGRIND_DIR)/*.so* - touch -c $(VALGRIND_DIR)/none/vgskin_none.so + touch -c $@ -$(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/none/vgskin_none.so +$(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/coregrind/valgrind $(MAKE) \ prefix=$(TARGET_DIR)/usr \ exec_prefix=$(TARGET_DIR)/usr \ @@ -69,7 +68,7 @@ $(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/none/vgskin_none.so #cp $(VALGRIND_DIR)/valgrind.default $(TARGET_DIR)/etc/default/valgrind #mkdir -p $(TARGET_DIR)/usr/lib/valgrind #cp $(VALGRIND_DIR)/woody.supp $(TARGET_DIR)/usr/lib/valgrind/ - touch -c $(TARGET_DIR)/usr/bin/valgrind + touch -c $@ valgrind: $(TARGET_DIR)/usr/bin/valgrind |