diff options
Diffstat (limited to 'gnu/packages/patches')
| -rw-r--r-- | gnu/packages/patches/glibc-make-4.0.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gnu/packages/patches/glibc-make-4.0.patch b/gnu/packages/patches/glibc-make-4.0.patch deleted file mode 100644 index d83de1d33d..0000000000 --- a/gnu/packages/patches/glibc-make-4.0.patch +++ /dev/null @@ -1,12 +0,0 @@ -Allow libc to be compiled with GNU Make 4.0. - ---- glibc-2.18/configure 2013-08-11 00:52:55.000000000 +0200 -+++ glibc-2.18/configure 2013-10-16 16:53:09.000000000 +0200 -@@ -4772,7 +4772,7 @@ $as_echo_n "checking version of $MAKE... - ac_prog_version=`$MAKE --version 2>&1 | sed -n 's/^.*GNU Make[^0-9]*\([0-9][0-9.]*\).*$/\1/p'` - case $ac_prog_version in - '') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;; -- 3.79* | 3.[89]*) -+ 3.79* | 3.[89]* | 4.*) - ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;; - *) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;; |