diff options
Diffstat (limited to 'tools/lib')
| -rw-r--r-- | tools/lib/traceevent/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/lib/traceevent/Makefile b/tools/lib/traceevent/Makefile index 76fe0aeb874e..f778d48ac609 100644 --- a/tools/lib/traceevent/Makefile +++ b/tools/lib/traceevent/Makefile | |||
| @@ -329,9 +329,12 @@ clean: | |||
| 329 | 329 | ||
| 330 | endif # skip-makefile | 330 | endif # skip-makefile |
| 331 | 331 | ||
| 332 | PHONY += force | 332 | PHONY += force plugins |
| 333 | force: | 333 | force: |
| 334 | 334 | ||
| 335 | plugins: | ||
| 336 | @echo > /dev/null | ||
| 337 | |||
| 335 | # Declare the contents of the .PHONY variable as phony. We keep that | 338 | # Declare the contents of the .PHONY variable as phony. We keep that |
| 336 | # information in a variable so we can use it in if_changed and friends. | 339 | # information in a variable so we can use it in if_changed and friends. |
| 337 | .PHONY: $(PHONY) | 340 | .PHONY: $(PHONY) |