Fix make -j race due to stubdom and tools make -C

[Xen-devel] [PATCH 0/2] Fix make -j race due to stubdom and tools make -C

Ian Jackson posted 2 patches 5 years ago

Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://github.com/patchew-project/xen tags/patchew/20190415162809.23675-1-ian.jackson@eu.citrix.com

Makefile                | 2 +-
scripts/git-checkout.sh | 2 ++
2 files changed, 3 insertions(+), 1 deletion(-)

Expand all Fold all

[Xen-devel] [PATCH 0/2] Fix make -j race due to stubdom and tools make -C

Posted by Ian Jackson 5 years ago

Ian Jackson (2):
  build system: make install-stubdom depend on install-tools again
  DO NOT APPLY git-checkout.sh: add sleep to demonstrate race

 Makefile                | 2 +-
 scripts/git-checkout.sh | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

-- 
2.11.0


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

[Xen-devel] [PATCH 1/2] build system: make install-stubdom depend on install-tools again
[Xen-devel] [PATCH 2/2] DO NOT APPLY git-checkout.sh: add sleep to demonstrate race