diff --git a/make/run.mk b/make/run.mk index 50b0559b..f7f75e08 100644 --- a/make/run.mk +++ b/make/run.mk @@ -71,7 +71,7 @@ restart: stop wait-stop all start valgrind: rm -f $(CORE) valgrind $(VALGRIND_OPTS) $(EXE_PATH) $(EXE_ARGS) - + supp.tmp: valgrind --gen-suppressions=all $(EXE_PATH) $(EXE_ARGS) 2>$@.tmp; mv $@.tmp $@ || exit 0 @@ -108,6 +108,10 @@ callgrind-dump: snap: killall -SIGUSR1 $(notdir $(EXE_PATH)) +check-conf: + $(firstword $(wildcard $(CVS_PROJ_DIR)/valdi/bin/checkconf) checkconf) -p --log-flags console \ + $(shell echo $(EXE_ARGS) | sed 's/.*--config-file *//; s/ .*//') + endif stop: