From 91cecf5d3b32af133f7457eabb73fedc59bb2b39 Mon Sep 17 00:00:00 2001
From: giladogit <32686842+giladogit@users.noreply.github.com>
Date: Fri, 6 Jul 2018 17:15:37 -0700
Subject: Update signals.h

See issue #405
---
 src/signals.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/signals.h b/src/signals.h
index 526285d..090ab0b 100644
--- a/src/signals.h
+++ b/src/signals.h
@@ -27,5 +27,5 @@ CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 #define SIGNALS_H
 
 void setup_signal_handlers();
-
+extern int sig_exit;
 #endif
-- 
cgit v1.2.3