diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2014-10-08 11:48:42 +0400 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2014-10-08 11:48:42 +0400 |
| commit | 597d7d4d9df6e688e766f1da1c7de92b191fbde9 (patch) | |
| tree | e758dd00a56a9039deba2abab755033466bd0cbf /debian/patches/input-err.diff | |
| download | bash-597d7d4d9df6e688e766f1da1c7de92b191fbde9.tar.gz | |
Debian bash 4.3-11debian/4.3-11debian
Diffstat (limited to 'debian/patches/input-err.diff')
| -rw-r--r-- | debian/patches/input-err.diff | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/input-err.diff b/debian/patches/input-err.diff new file mode 100644 index 0000000..ee9ed55 --- /dev/null +++ b/debian/patches/input-err.diff @@ -0,0 +1,15 @@ +# DP: Define PGRP_PIPE to avoid race condition. + +Index: b/input.c +=================================================================== +--- a/input.c ++++ b/input.c +@@ -509,7 +509,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); + } + |