# HG changeset patch
# User Igor Sysoev <igor@sysoev.ru>
# Date 1205252958 0
# Node ID 220c2515a9c98d0f0cfd38f6f8da29280d79f2be
# Parent  95f0145bbef42e9795e32a4436df2563888a7d4e
use uname instead of often outdated header file

diff -r 95f0145bbef4 -r 220c2515a9c9 auto/os/linux
--- a/auto/os/linux	Tue Mar 11 16:27:44 2008 +0000
+++ b/auto/os/linux	Tue Mar 11 16:29:18 2008 +0000
@@ -16,8 +16,8 @@
 
 # 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}