diff --git a/configure.ac b/configure.ac
index a01faed13a7db379fa7711b60de8feeeaa6601a1..551814bcc558ed8896788bd5495ea4cf2be35f68 100644
--- a/configure.ac
+++ b/configure.ac
@@ -19,8 +19,8 @@ AC_ARG_WITH([linux],
         [--with-linux=<version>],
         [Linux kernel version @<:@running kernel@:>@]
     ),
-    [ ],
-    [version=`uname -r`]
+    [version=[$withval]],
+    [version=[`uname -r`]]
 )
 
 AC_MSG_CHECKING([for Linux kernel])