From 1e5b97628bec15f073c3a40e66e67e161d4b0963 Mon Sep 17 00:00:00 2001 From: Baptiste Daroussin Date: Wed, 25 Apr 2018 20:55:18 +0000 Subject: [PATCH] zgrep.sh: remove now useless shift --- usr.bin/grep/zgrep.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/usr.bin/grep/zgrep.sh b/usr.bin/grep/zgrep.sh index 1f24ec897914..28e5174e01b5 100755 --- a/usr.bin/grep/zgrep.sh +++ b/usr.bin/grep/zgrep.sh @@ -146,7 +146,6 @@ else fi for file do ${cattool} ${catargs} -- "${file}" | ${grep} --label="${file}" ${grep_args} -- "${pattern}" - - shift done fi