diff --git a/make/run.mk b/make/run.mk index 52c74ca5..9480ba2b 100644 --- a/make/run.mk +++ b/make/run.mk @@ -136,7 +136,7 @@ abort: killall -6 $(notdir $(EXE_PATH)) strace: $(EXE_PATH) $(EXE_BIN) - strace -f $(EXE_PATH) $(EXE_ARGS) + strace -f $(STRACE_EXTRA_OPTS) $(EXE_PATH) $(EXE_ARGS) tee: $(EXE_PATH) $(EXE_BIN) all rm -f core.*