Merge branch 'gawk-4.2-stable'

1 files changed, 3 insertions, 0 deletions

diff --git a/awk.h b/awk.h
index 5af489e0..46b72e14 100644
--- a/awk.h
+++ b/awk.h
@@ -1454,6 +1454,9 @@ extern NODE *do_typeof(int nargs);
 extern int strncasecmpmbs(const unsigned char *,
 			  const unsigned char *, size_t);
 extern int sanitize_exit_status(int status);
+/* debug.c */
+extern void init_debug(void);
+extern int debug_prog(INSTRUCTION *pc);
 /* eval.c */
 extern void PUSH_CODE(INSTRUCTION *cp);
 extern INSTRUCTION *POP_CODE(void);