gzip-zgreppipe.patch

   1 --- gzip-1.3/zgrep.in.pipe      Tue Jan 30 19:34:29 2001
   2 +++ gzip-1.3/zgrep.in   Tue Jan 30 19:35:23 2001
   3 @@ -52,6 +52,7 @@
   4  fi
   5
   6  res=0
   7 +trap break PIPE
   8  for i do
   9    if test $list -eq 1; then
  10      gzip -cdfq "$i" | $grep $opt "$pat" > /dev/null && echo $i
  11 @@ -64,5 +65,7 @@
  12      r=$?
  13    fi
  14    test "$r" -ne 0 && res="$r"
  15 +  echo
  16  done
  17 +trap - PIPE
  18  exit $res