diff options
| author | Peter Xu <peterx@redhat.com> | 2021-08-04 09:23:27 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-11-02 15:57:20 +0100 |
| commit | b8c9ed15fd0515314a11baa9291ea051a6867f8f (patch) | |
| tree | 2c6b1bb32466c5c6b2e05c2bc2baef69cce8255c /Makefile | |
| parent | f79bb385c0fb9756393bde2a13ebbc70ae6c8043 (diff) | |
Makefile: Fix gtags generation
We should use "-print" or otherwise all "-prone" is ignored.
Signed-off-by: Peter Xu <peterx@redhat.com>
Message-Id: <20210804132328.41353-2-peterx@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -256,7 +256,7 @@ gtags: "GTAGS", "Remove old $@ files") $(call quiet-command, \ (cd $(SRC_PATH) && \ - $(find-src-path) | gtags -f -), \ + $(find-src-path) -print | gtags -f -), \ "GTAGS", "Re-index $(SRC_PATH)") .PHONY: TAGS |