Initial commit -- use Debian’s patches

2018-01-17 03:52:05 -08:00
parent 3f022d5fad
commit 71337f5ae9
11 changed files with 3674 additions and 108 deletions
--- a/05.jigdo-lite-grep-options.patch
+++ b/05.jigdo-lite-grep-options.patch
@@ -0,0 +1,11 @@
+--- 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