Re: [XEN PATCH 52/57] stubdom: only build libxen*.a from tools/libs/

2021-12-11 Thread Samuel Thibault
Anthony PERARD, le lun. 06 déc. 2021 17:02:35 +, a ecrit: > 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

[XEN PATCH 52/57] stubdom: only build libxen*.a from tools/libs/

2021-12-06 Thread Anthony PERARD
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. Sig