diff options
-rw-r--r-- | tools/perf/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/perf/Makefile b/tools/perf/Makefile index 4835618a5608..eefb9fb0c02f 100644 --- a/tools/perf/Makefile +++ b/tools/perf/Makefile | |||
@@ -60,8 +60,11 @@ endef | |||
60 | 60 | ||
61 | # | 61 | # |
62 | # Needed if no target specified: | 62 | # Needed if no target specified: |
63 | # (Except for tags and TAGS targets. The reason is that the | ||
64 | # Makefile does not treat tags/TAGS as targets but as files | ||
65 | # and thus won't rebuilt them once they are in place.) | ||
63 | # | 66 | # |
64 | all: | 67 | all tags TAGS: |
65 | $(print_msg) | 68 | $(print_msg) |
66 | $(make) | 69 | $(make) |
67 | 70 | ||
@@ -77,3 +80,5 @@ clean: | |||
77 | %: | 80 | %: |
78 | $(print_msg) | 81 | $(print_msg) |
79 | $(make) | 82 | $(make) |
83 | |||
84 | .PHONY: tags TAGS | ||