use uname instead of often outdated header file

diff --git a/auto/os/linux b/auto/os/linux
index 62bc6253b4af6975f2a0d5921b73e31e6d864717..3c2c8419d58cafcfafb93d30032cc7c8553cccb8 100644 (file)
--- a/auto/os/linux
+++ b/auto/os/linux
@@ -16,8 +16,8 @@ CC_AUX_FLAGS="$CC_AUX_FLAGS -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64"
 
 # Linux kernel version
 
-version=`grep "#define LINUX_VERSION_CODE" /usr/include/linux/version.h \
-         | sed -e 's/^.* \(.*\)$/\1/'`
+version=$((`uname -r \
+         | sed 's/^\([^.]*\)\.\([^.]*\)\.\([^.-]*\).*/\1*256*256+\2*256+\3/'`))
 
 version=${version:-0}