# HG changeset patch
# User wenzelm
# Date 1738793467 -3600
# Node ID cbcc3ee0b98916b811001260fefbdad431e02b07
# Parent  555c95138e2630e2a36a28a3bc43f50d395c9943
tuned signature: more operations (following Isabelle/Scala);

diff -r 555c95138e26 -r cbcc3ee0b989 src/Pure/System/process_result.ML
--- a/src/Pure/System/process_result.ML	Wed Feb 05 22:54:47 2025 +0100
+++ b/src/Pure/System/process_result.ML	Wed Feb 05 23:11:07 2025 +0100
@@ -6,6 +6,7 @@
 
 signature PROCESS_RESULT =
 sig
+  val startup_failure_rc: int
   val interrupt_rc: int
   val timeout_rc: int
   type T
@@ -29,6 +30,7 @@
 structure Process_Result: PROCESS_RESULT =
 struct
 
+val startup_failure_rc = 127
 val interrupt_rc = 130
 val timeout_rc = 142