diff options
Diffstat (limited to 'src/stage3/patches/gawk.patch')
| -rw-r--r-- | src/stage3/patches/gawk.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/stage3/patches/gawk.patch b/src/stage3/patches/gawk.patch deleted file mode 100644 index 565b124..0000000 --- a/src/stage3/patches/gawk.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/PKGBUILD 2018-03-06 17:58:31.648667961 +0100 -+++ b/PKGBUILD 2018-03-06 18:28:52.667438512 +0100 -@@ -25,7 +25,7 @@ build() { - - check() { - cd ${srcdir}/${pkgname}-${pkgver} -- make check -+ make check || true - } - - package() { |