Diffusion Isabelle 8a8ffe78eee7

clarified return code: re-use SIGALRM for soft timeout;
8a8ffe78eee7
Actions

Tags

None

Subscribers

None

Description

clarified return code: re-use SIGALRM for soft timeout;

Details

Provenance

Authored on

Parents

rISABELLE497e11537d48: clarified signature: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8a8ffe78eee7: clarified return code: re-use SIGALRM for soft timeout;.Jan 16 2021, 5:02 PM

Changes (3)

Path

Size

src/

Pure/

System/

process_result.scala

Tools/

build_job.scala

rISABELLE8a8ffe78eee7

src/Pure/System/bash.scala

Loading...

src/Pure/System/process_result.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...