12 lines
362 B
Diff
12 lines
362 B
Diff
--- jigdo-0.7.3.orig/scripts/jigdo-lite 2017-12-07 16:35:00.806877547 +0000
|
|
+++ jigdo-0.7.3/scripts/jigdo-lite 2017-12-07 16:35:03.514902976 +0000
|
|
@@ -14,6 +14,8 @@
|
|
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
|