File: input-err.dpatch

package info (click to toggle)
bash 4.1-3
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 3,108 kB
  • ctags: 161
  • sloc: sh: 1,555; ansic: 854; makefile: 479
file content (30 lines) | stat: -rw-r--r-- 760 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#! /bin/sh -e

if [ $# -eq 3 -a "$2" = '-d' ]; then
    pdir="-d $3"
elif [ $# -ne 1 ]; then
    echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
    exit 1
fi
case "$1" in
    -patch) patch $pdir -f --no-backup-if-mismatch -p0 < $0;;
    -unpatch) patch $pdir -f --no-backup-if-mismatch -R -p0 < $0;;
    *)
	echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
	exit 1
esac
exit 0

# DP: Define PGRP_PIPE to avoid race condition.

--- input.c~	2005-07-14 13:29:08.000000000 +0100
+++ input.c	2006-04-05 14:51:50.000000000 +0100
@@ -454,7 +454,7 @@
       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);
     }