diff options
| -rw-r--r-- | make/valgrind.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/valgrind.mk b/make/valgrind.mk index c7d89261c..924d21162 100644 --- a/make/valgrind.mk +++ b/make/valgrind.mk @@ -72,7 +72,11 @@ $(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/coregrind/valgrind.so #cp $(VALGRIND_DIR)/woody.supp $(TARGET_DIR)/usr/lib/valgrind/ touch -c $(TARGET_DIR)/usr/bin/valgrind +ifeq ($(ARCH),i386) valgrind: $(TARGET_DIR)/usr/bin/valgrind +else +valgrind: +endif valgrind-clean: $(MAKE) -C $(VALGRIND_DIR) clean |