[XEN,0/2] build: attempt to "fix" GitLab CI job "debian-unstable-gcc-arm64"

Message

Anthony PERARD Sept. 8, 2021, 9:54 a.m. UTC

Patch series available in this git branch:
https://xenbits.xen.org/git-http/people/aperard/xen-unstable.git br.fix-flask-policy.mk-v1

Well, that job fails with weird failure:
    make[6]: Entering directory '/builds/xen-project/xen/tools/flask/policy'
    make[6]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
    /builds/xen-project/xen/tools/flask/policy/Makefile.common:115: *** target pattern contains no '%'.  Stop.
    make[6]: Leaving directory '/builds/xen-project/xen/tools/flask/policy'

This is because we do $(shell $(MAKE) xenversion) and that sometime produce
more than just "4.16-unstable", which lead to makefile parsing failure.
Maybe `make -j80` is too much.

But you can have the same kind of failure when running `make --debug=a` or
`remake --trace` with flask policy generation enabled.

This patch series fixes build of "xen" (first patch), but only workaround with
a probably not good enough patch for build of the "tools".

Anthony PERARD (2):
  build: set policy filename on make command line
  build: add --full to version.sh to guess $(XEN_FULLVERSION)

 tools/flask/policy/Makefile.common |  2 +-
 version.sh                         | 15 ++++++++++++++-
 xen/xsm/flask/Makefile             |  2 +-
 3 files changed, 16 insertions(+), 3 deletions(-)