make/autoconf/generated-configure.sh

*** 5213,5223 ****
  # definitions. It is replaced with custom functionality when building
  # custom sources.
  #CUSTOM_AUTOCONF_INCLUDE
  
  # Do not change or remove the following line, it is needed for consistency checks:
! DATE_WHEN_GENERATED=1517244998
  
  ###############################################################################
  #
  # Initialization / Boot-strapping
  #
--- 5213,5223 ----
  # definitions. It is replaced with custom functionality when building
  # custom sources.
  #CUSTOM_AUTOCONF_INCLUDE
  
  # Do not change or remove the following line, it is needed for consistency checks:
! DATE_WHEN_GENERATED=1517265051
  
  ###############################################################################
  #
  # Initialization / Boot-strapping
  #
*** 69081,69100 ****
        as_fn_error $? "Bad file permissions on src files. This is usually caused by cloning the repositories with a non cygwin hg in a directory not created in cygwin." "$LINENO" 5
      fi
    fi
  
  
-   # Did user specify any unknown variables?
- 
-   if test "x$CONFIGURE_OVERRIDDEN_VARIABLES" != x; then
-     # Replace the separating ! with spaces before presenting for end user.
-     unknown_variables=${CONFIGURE_OVERRIDDEN_VARIABLES//!/ }
-     { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: The following variables might be unknown to configure: $unknown_variables" >&5
- $as_echo "$as_me: WARNING: The following variables might be unknown to configure: $unknown_variables" >&2;}
-   fi
- 
- 
    { $as_echo "$as_me:${as_lineno-$LINENO}: checking if build directory is on local disk" >&5
  $as_echo_n "checking if build directory is on local disk... " >&6; }
  
    # df -l lists only local disks; if the given directory is not found then
    # a non-zero exit code is given
--- 69081,69090 ----
*** 69172,69181 ****
--- 69162,69181 ----
        as_fn_error $? "Invalid JVM feature(s): $INVALID_FEATURES" "$LINENO" 5
      fi
    done
  
  
+ # Did user specify any unknown variables?
+ 
+   if test "x$CONFIGURE_OVERRIDDEN_VARIABLES" != x; then
+     # Replace the separating ! with spaces before presenting for end user.
+     unknown_variables=${CONFIGURE_OVERRIDDEN_VARIABLES//!/ }
+     { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: The following variables might be unknown to configure: $unknown_variables" >&5
+ $as_echo "$as_me: WARNING: The following variables might be unknown to configure: $unknown_variables" >&2;}
+   fi
+ 
+ 
  # We're messing a bit with internal autoconf variables to put the config.status
  # in the output directory instead of the current directory.
  CONFIG_STATUS="$CONFIGURESUPPORT_OUTPUTDIR/config.status"
  
  # Create the actual output files. Now the main work of configure is done.
*** 70364,70373 ****
--- 70364,70375 ----
  
    # Make the compare script executable
    $CHMOD +x $OUTPUTDIR/compare.sh
  
  
+ echo "CONFIGURE_OVERRIDDEN_VARIABLES ${CONFIGURE_OVERRIDDEN_VARIABLES}"
+ 
  # Finally output some useful information to the user
  
    # Finally output some useful information to the user
  
    printf "\n"