On Fri, Oct 28, 2016 at 04:17:17PM +0100, Wei Liu wrote: > The flask policy can be build twice -- one for hypervisor and one for > tools. > > Before this patch, everything is built inside tools/flask/policy > directory. It is possible to have a race to write to the same output > file when running parallel builds. > > Prepend output file names with FLASK_BUILD_DIR. Hypervisor and tools > build will set that variable to different directories, so that we can > be safe from races. > > Adjust other bits of the build system as needed. > > Signed-off-by: Wei Liu <wei.l...@citrix.com> > --- > Cc: Daniel De Graaf <dgde...@tycho.nsa.gov> > Cc: Ian Jackson <ian.jack...@eu.citrix.com> > Cc: Wei Liu <wei.l...@citrix.com>
Daniel and Ian, do you have opinions on this patch? Wei. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
