From mboxrd@z Thu Jan  1 00:00:00 1970
From: pcaulfield@sourceware.org <pcaulfield@sourceware.org>
Date: 6 Dec 2007 10:38:00 -0000
Subject: [Cluster-devel] cluster configure
Message-ID: <20071206103800.27689.qmail@sourceware.org>
List-Id: <cluster-devel.redhat.com>
To: cluster-devel.redhat.com
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit

CVSROOT:	/cvs/cluster
Module name:	cluster
Changes by:	pcaulfield at sourceware.org	2007-12-06 10:38:00

Modified files:
	.              : configure 

Log message:
	Add option to disable kernel_check.
	
	From Soren Hansen:
	"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."

Patches:
http://sourceware.org/cgi-bin/cvsweb.cgi/cluster/configure.diff?cvsroot=cluster&r1=1.38&r2=1.39

--- cluster/configure	2007/11/24 04:57:31	1.38
+++ cluster/configure	2007/12/06 10:38:00	1.39
@@ -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="";
 }