Diffusion Isabelle ed07f0ebf31c

proper numa_nodes for build_worker;
ed07f0ebf31c
Actions

Tags

None

Subscribers

None

Description

proper numa_nodes for build_worker;

Details

Provenance

Authored on

Parents

rISABELLE25c04910dcfa: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEed07f0ebf31c: proper numa_nodes for build_worker;.Aug 23 2023, 11:44 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLEed07f0ebf31c

src/Pure/Tools/build_process.scala

Loading...