Unset GREP_OPTIONS at the start of jigdo-lite
authorSteve McIntyre <steve@einval.com>
Thu, 24 Oct 2019 10:59:07 +0000 (11:59 +0100)
committerSteve McIntyre <steve@einval.com>
Thu, 24 Oct 2019 10:59:07 +0000 (11:59 +0100)
scripts/jigdo-lite

index e09fb24..90b304e 100755 (executable)
@@ -14,6 +14,8 @@ filesPerFetch=10
 maxMissing=30 # Don't try fallback servers if x% or more of files missing
 rcFile="$HOME/.jigdo-lite"
 
+unset GREP_OPTIONS
+
 if test "x$OSTYPE" = "xmsys"; then
   windows=true
   OSTYPE=Windows