1 files changed, 4 insertions, 0 deletions

diff --git a/src/process.h b/src/process.h
index b585515d6b1..fcf8d9b6c1f 100644
--- a/src/process.h
+++ b/src/process.h
@@ -161,5 +161,9 @@ extern int synch_process_retcode;
 #define NULL_DEVICE "/dev/null"
 #endif
 
+/* Nonzero means don't run process sentinels.  This is used
+   when exiting.  */
+extern int inhibit_sentinels;
+
 /* arch-tag: dffedfc4-d7bc-4b58-a26f-c16155449c72
    (do not change this comment) */