diff -Naur valgrind-3.10.1/configure valgrind.bk/configure | |
--- valgrind-3.10.1/configure 2014-11-25 11:42:25.000000000 -0800 | |
+++ valgrind.bk/configure 2017-05-12 10:59:39.504944551 -0700 | |
@@ -5553,7 +5553,7 @@ | |
kernel=`uname -r` | |
case "${kernel}" in | |
- 2.6.*|3.*) | |
+ 2.6.*|3.*|4.*) | |
{ $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; } | |