Linux: Autoconf script requires updating

The Linux Autoconf script had not been updated after previous changes
to the configure.ac file had been made.

diff --git a/configure b/configure
index 9bfe94b0048470244ce7b340cbf49bebd27feefc..019ee3d2119c40d829c2f30620c26cc0a3592e45 100755 (executable)
--- a/configure
+++ b/configure
@@ -16828,6 +16828,14 @@ fi
 fi
 
 
 fi
 
 

+# Test for required KERNEL path
+if test "x$KERNEL_INSTALL_DIR" = "x"; then
+  { { echo "$as_me:$LINENO: error: Kernel path for ${PLATFORM} is not set" >&5
+echo "$as_me: error: Kernel path for ${PLATFORM} is not set" >&2;}
+   { (exit 1); exit 1; }; }
+fi
+
+

 # Ignore KERNEL path when no platform is set
 if test "x$PLATFORM" = "x"; then
   KERNEL_INSTALL_DIR=
 # Ignore KERNEL path when no platform is set
 if test "x$PLATFORM" = "x"; then
   KERNEL_INSTALL_DIR=