# HG changeset patch
# User Florian Pose <fp@igh-essen.com>
# Date 1159195147 0
# Node ID 5526520f323f6c3cb26dec8c4df33b21c8db894e
# Parent  e85e3143dc8d1ec24ffdd58c2aa219470d561055
Fixed --with-linux switch.

diff -r e85e3143dc8d -r 5526520f323f configure.ac
--- a/configure.ac	Mon Sep 25 14:13:23 2006 +0000
+++ b/configure.ac	Mon Sep 25 14:39:07 2006 +0000
@@ -19,8 +19,8 @@
         [--with-linux=<version>],
         [Linux kernel version @<:@running kernel@:>@]
     ),
-    [ ],
-    [version=`uname -r`]
+    [version=[$withval]],
+    [version=[`uname -r`]]
 )
 
 AC_MSG_CHECKING([for Linux kernel])