File: input-err.diff

package info (click to toggle)
bash 5.2.37-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 41,300 kB
  • sloc: ansic: 117,576; sh: 8,449; yacc: 5,448; makefile: 4,624; perl: 4,227; asm: 48; awk: 23; sed: 16
file content (15 lines) | stat: -rw-r--r-- 375 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
# DP: Define PGRP_PIPE to avoid race condition.

Index: b/input.c
===================================================================
--- a/input.c
+++ b/input.c
@@ -517,7 +517,7 @@ b_fill_buffer (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);
     }