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(-)

-- 
Anthony PERARD