void-packages/srcpkgs/valgrind/patches/linux-99999.patch

12 lines
427 B
Diff

--- configure.orig 2015-05-10 21:13:43.957032176 +0200
+++ configure 2015-05-10 21:13:54.365150623 +0200
@@ -5553,7 +5553,7 @@ $as_echo_n "checking for the kernel vers
kernel=`uname -r`
case "${kernel}" in
- 2.6.*|3.*)
+ 2.6.*|[3-9].*)
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: 2.6.x/3.x family (${kernel})" >&5
$as_echo "2.6.x/3.x family (${kernel})" >&6; }