OSDN Git Service

Makefile: Fix gtags generation
authorPeter Xu <peterx@redhat.com>
Wed, 4 Aug 2021 13:23:27 +0000 (09:23 -0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 2 Nov 2021 14:57:20 +0000 (15:57 +0100)
commitb8c9ed15fd0515314a11baa9291ea051a6867f8f
tree2c6b1bb32466c5c6b2e05c2bc2baef69cce8255c
parentf79bb385c0fb9756393bde2a13ebbc70ae6c8043
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>
Makefile