File: input-err.diff

package info (click to toggle)
bash 5.3-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 43,860 kB
  • sloc: ansic: 134,738; sh: 8,866; yacc: 5,966; makefile: 4,697; perl: 4,105; asm: 48; awk: 23; sed: 16
file content (13 lines) | stat: -rw-r--r-- 307 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
# DP: Define PGRP_PIPE to avoid race condition.

--- a/input.c
+++ b/input.c
@@ -520,7 +520,7 @@ b_fill_buffer (BUFFERED_STREAM *bp)
       if (nr == 0)
 	bp->b_flag |= B_EOF;
       else
-	bp->b_flag |= B_ERROR;
+	fatal_error("error reading input file: %s", strerror(errno));
       return (EOF);
     }