Merge branch 'master' into feature/nocopy

1 files changed, 1 insertions, 0 deletions

diff --git a/awk.h b/awk.h
index 91159a26..90de5df8 100644
--- a/awk.h
+++ b/awk.h
@@ -1430,6 +1430,7 @@ extern NODE *do_intdiv(int nargs);
 extern NODE *do_typeof(int nargs);
 extern int strncasecmpmbs(const unsigned char *,
 			  const unsigned char *, size_t);
+extern int sanitize_exit_status(int status);
 /* eval.c */
 extern void PUSH_CODE(INSTRUCTION *cp);
 extern INSTRUCTION *POP_CODE(void);