[Cluster-devel] cluster configure

[pcaulfield]

CVSROOT:        /cvs/cluster
Module name:    cluster
Changes by:     [EMAIL PROTECTED]       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="";
 }