[PATCH] Add --disable-kernel-check to configure

[Soren Hansen <soren@xxxxxxxxxx>]

Hi guys!

Could you please apply this patch for me? It's handy to be able to
disable the new kernel version check if we don't actually have the
kernel headers around, but know that the proper stuff is around when
it's needed.

-- 
Soren Hansen
Ubuntu Server Team
http://www.ubuntu.com/

? debian
? disable_kernel_check.diff
? patch-stamp
Index: configure
===================================================================
RCS file: /cvs/cluster/cluster/configure,v
retrieving revision 1.38
diff -u -r1.38 configure
--- configure	24 Nov 2007 04:57:31 -0000	1.38
+++ configure	4 Dec 2007 20:24:45 -0000
@@ -84,6 +84,7 @@
 	without_gfs2 => \$without_gfs2,
 	without_gnbd => \$without_gnbd,
 	without_rgmanager => \$without_rgmanager,
+	disable_kernel_check => \$disable_kernel_check,
 );
 
 my $err = &GetOptions (\%options,
@@ -139,7 +140,8 @@
 		    'without_gfs',
 		    'without_gfs2',
 		    'without_gnbd',
-		    'without_rgmanager');
+		    'without_rgmanager',
+		    'disable_kernel_check');
 
 if(!$err) {
   $ret = 1;
@@ -205,6 +207,7 @@
   print "--without_gfs2\tDisable gfs2 building  (Default: enabled)\n";
   print "--without_gnbd\tDisable gnbd building  (Default: enabled)\n";
   print "--without_rgmanager\tDisable rgmanager building  (Default: enabled)\n";
+  print "--disable_kernel_check\tDisable kernel version check (default: enabled)\n";
   exit $ret;
 }
 
@@ -312,7 +315,7 @@
     $kernel_src=$kernel_build;
   }
 }
-if (!kernel_version($kernel_build,$required_kernelversion)) {
+if (not $disable_kernel_check and !kernel_version($kernel_build,$required_kernelversion)) {
   exit 1;
 }
 if (!$module_dir) {
@@ -444,6 +447,9 @@
 if (!$without_rgmanager) {
   $without_rgmanager="";
 }
+if (!$disable_kernel_check) {
+  $disable_kernel_check=0;
+}
 if (defined($release_major) && not length $release_major) {
   $release_major="";
 }

Attachment: signature.asc
Description: Digital signature

--
Linux-cluster mailing list
Linux-cluster@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/linux-cluster