zgrep.sh: remove now useless shift

This commit is contained in:
Baptiste Daroussin 2018-04-25 20:55:18 +00:00
parent 9fdb4cfa89
commit 1e5b97628b

View File

@ -146,7 +146,6 @@ else
fi
for file do
${cattool} ${catargs} -- "${file}" | ${grep} --label="${file}" ${grep_args} -- "${pattern}" -
shift
done
fi