diff options
author | Alessandro Ghedini <ghedo@debian.org> | 2020-12-31 11:46:59 +0100 |
---|---|---|
committer | Alessandro Ghedini <ghedo@debian.org> | 2020-12-31 11:59:43 +0100 |
commit | da4d7ce78b0746baecec2dc88cfd1d926fd36366 (patch) | |
tree | 9984b645a7a3a2972322e3058efa8528280db131 | |
parent | 0ec5774f82a0207801468c6d024c600fa76ca83c (diff) |
Refresh patches
-rw-r--r-- | debian/patches/06_always-disable-valgrind.patch | 2 | ||||
-rw-r--r-- | debian/patches/08_enable-zsh.patch | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/06_always-disable-valgrind.patch b/debian/patches/06_always-disable-valgrind.patch index b1e4e487..2644bc79 100644 --- a/debian/patches/06_always-disable-valgrind.patch +++ b/debian/patches/06_always-disable-valgrind.patch @@ -6,7 +6,7 @@ Last-Update: 2012-10-22 --- a/tests/Makefile.am +++ b/tests/Makefile.am -@@ -63,7 +63,7 @@ +@@ -62,7 +62,7 @@ if CROSSCOMPILING TEST = @echo "NOTICE: we can't run the tests when cross-compiling!" else # if not cross-compiling: diff --git a/debian/patches/08_enable-zsh.patch b/debian/patches/08_enable-zsh.patch index 89d245e1..79745aaf 100644 --- a/debian/patches/08_enable-zsh.patch +++ b/debian/patches/08_enable-zsh.patch @@ -7,7 +7,7 @@ Last-Update: 2016-08-03 --- a/Makefile.am +++ b/Makefile.am -@@ -191,8 +191,8 @@ +@@ -194,8 +194,8 @@ bin_SCRIPTS = curl-config |