build: rework .banner generation
authorAnthony PERARD <anthony.perard@citrix.com>
Tue, 10 Aug 2021 07:27:13 +0000 (09:27 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 10 Aug 2021 07:27:13 +0000 (09:27 +0200)
commit44b9ec5a5c9c7a32cd75efd09e5693016b78e5c3
treec82d9feca09f8504f8c11c959d67e5579e0938d7
parent2b45ff60301a988badec526846e77b538383ae63
build: rework .banner generation

Avoid depending on Makefile but still allow to rebuild the banner when
$(XEN_FULLVERSION) changes.

Also add a dependency on tools/xen.flf, even if not expected to
change.

Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/Makefile