stubdom: only build libxen*.a from tools/libs/
authorAnthony PERARD <anthony.perard@citrix.com>
Mon, 6 Dec 2021 17:02:35 +0000 (17:02 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 16 Dec 2021 20:27:13 +0000 (20:27 +0000)
commitb1e37d8402522e812e82d8776e39fcfceaccf628
tree84b7c2fe60de019dc20de92a3e7f1fc4cee300c7
parentfc93c3ac4f888d506f4b15ad05b900c46416ace0
stubdom: only build libxen*.a from tools/libs/

Avoid generating *.map files or running headers.chk when all we need
is the libxen*.a.

Also, allow force make to check again if libxen*.a needs rebuilt by
adding a '.PHONY' prerequisite.

Also, remove DESTDIR= as we don't do installation in this target, so
the value of DESTDIR doesn't matter.

Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
stubdom/Makefile