Merge branch 'master' into feature/fix-comments

1 files changed, 2 insertions, 2 deletions

diff --git a/debug.c b/debug.c
index ed763e38..2e68cde7 100644
--- a/debug.c
+++ b/debug.c
@@ -5405,11 +5405,11 @@ save_options(const char *file)
 static void
 close_all()
 {
-	bool stdio_problem;
+	bool stdio_problem, got_EPIPE;
 	struct command_source *cs;
 
 	(void) nextfile(& curfile, true);	/* close input data file */
-	(void) close_io(& stdio_problem);
+	(void) close_io(& stdio_problem, & got_EPIPE);
 	if (cur_srcfile->fd != INVALID_HANDLE) {
 		close(cur_srcfile->fd);
 		cur_srcfile->fd = INVALID_HANDLE;