diff --git a/make/run.mk b/make/run.mk index 1e4a77da..cd937f21 100644 --- a/make/run.mk +++ b/make/run.mk @@ -74,6 +74,10 @@ valgrind: rm -f $(CORE) valgrind $(VALGRIND_OPTS) $(EXE_PATH) $(EXE_ARGS) +valkyrie: + rm -f $(CORE) + valkyrie $(VALGRIND_OPTS) $(EXE_PATH) $(EXE_ARGS) + efence: rm -f $(CORE) ef $(EXE_PATH) $(EXE_ARGS)