diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/perf/Makefile.perf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/perf/Makefile.perf b/tools/perf/Makefile.perf index aa6a50447c32..0a256fe193ce 100644 --- a/tools/perf/Makefile.perf +++ b/tools/perf/Makefile.perf | |||
| @@ -84,6 +84,10 @@ ifneq ($(OUTPUT),) | |||
| 84 | #$(info Determined 'OUTPUT' to be $(OUTPUT)) | 84 | #$(info Determined 'OUTPUT' to be $(OUTPUT)) |
| 85 | endif | 85 | endif |
| 86 | 86 | ||
| 87 | # Do not use make's built-in rules | ||
| 88 | # (this improves performance and avoids hard-to-debug behaviour); | ||
| 89 | MAKEFLAGS += -r | ||
| 90 | |||
| 87 | $(OUTPUT)PERF-VERSION-FILE: ../../.git/HEAD | 91 | $(OUTPUT)PERF-VERSION-FILE: ../../.git/HEAD |
| 88 | @$(SHELL_PATH) util/PERF-VERSION-GEN $(OUTPUT) | 92 | @$(SHELL_PATH) util/PERF-VERSION-GEN $(OUTPUT) |
| 89 | @touch $(OUTPUT)PERF-VERSION-FILE | 93 | @touch $(OUTPUT)PERF-VERSION-FILE |
