diff --git a/make/run.mk b/make/run.mk index eba14f7f..1e4a77da 100644 --- a/make/run.mk +++ b/make/run.mk @@ -74,6 +74,10 @@ valgrind: rm -f $(CORE) valgrind $(VALGRIND_OPTS) $(EXE_PATH) $(EXE_ARGS) +efence: + rm -f $(CORE) + ef $(EXE_PATH) $(EXE_ARGS) + supp.tmp: valgrind --gen-suppressions=all $(EXE_PATH) $(EXE_ARGS) 2>$@.tmp; mv $@.tmp $@ || exit 0