make/autoconf/generated-configure.sh
changeset 48681 2e2551c38484
parent 48678 bcce1fa183e7
child 48829 93de07994202
equal deleted inserted replaced
48680:f944d1b7ab25 48681:2e2551c38484
  5213 # definitions. It is replaced with custom functionality when building
  5213 # definitions. It is replaced with custom functionality when building
  5214 # custom sources.
  5214 # custom sources.
  5215 #CUSTOM_AUTOCONF_INCLUDE
  5215 #CUSTOM_AUTOCONF_INCLUDE
  5216 
  5216 
  5217 # Do not change or remove the following line, it is needed for consistency checks:
  5217 # Do not change or remove the following line, it is needed for consistency checks:
  5218 DATE_WHEN_GENERATED=1517244998
  5218 DATE_WHEN_GENERATED=1517274450
  5219 
  5219 
  5220 ###############################################################################
  5220 ###############################################################################
  5221 #
  5221 #
  5222 # Initialization / Boot-strapping
  5222 # Initialization / Boot-strapping
  5223 #
  5223 #
 69081       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
 69081       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
 69082     fi
 69082     fi
 69083   fi
 69083   fi
 69084 
 69084 
 69085 
 69085 
 69086   # Did user specify any unknown variables?
       
 69087 
       
 69088   if test "x$CONFIGURE_OVERRIDDEN_VARIABLES" != x; then
       
 69089     # Replace the separating ! with spaces before presenting for end user.
       
 69090     unknown_variables=${CONFIGURE_OVERRIDDEN_VARIABLES//!/ }
       
 69091     { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: The following variables might be unknown to configure: $unknown_variables" >&5
       
 69092 $as_echo "$as_me: WARNING: The following variables might be unknown to configure: $unknown_variables" >&2;}
       
 69093   fi
       
 69094 
       
 69095 
       
 69096   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if build directory is on local disk" >&5
 69086   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if build directory is on local disk" >&5
 69097 $as_echo_n "checking if build directory is on local disk... " >&6; }
 69087 $as_echo_n "checking if build directory is on local disk... " >&6; }
 69098 
 69088 
 69099   # df -l lists only local disks; if the given directory is not found then
 69089   # df -l lists only local disks; if the given directory is not found then
 69100   # a non-zero exit code is given
 69090   # a non-zero exit code is given
 69170     INVALID_FEATURES=`$GREP -Fvx "${NEEDLE}" <<< "${STACK}"`
 69160     INVALID_FEATURES=`$GREP -Fvx "${NEEDLE}" <<< "${STACK}"`
 69171     if test "x$INVALID_FEATURES" != x; then
 69161     if test "x$INVALID_FEATURES" != x; then
 69172       as_fn_error $? "Invalid JVM feature(s): $INVALID_FEATURES" "$LINENO" 5
 69162       as_fn_error $? "Invalid JVM feature(s): $INVALID_FEATURES" "$LINENO" 5
 69173     fi
 69163     fi
 69174   done
 69164   done
       
 69165 
       
 69166 
       
 69167 # Did user specify any unknown variables?
       
 69168 
       
 69169   if test "x$CONFIGURE_OVERRIDDEN_VARIABLES" != x; then
       
 69170     # Replace the separating ! with spaces before presenting for end user.
       
 69171     unknown_variables=${CONFIGURE_OVERRIDDEN_VARIABLES//!/ }
       
 69172     { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: The following variables might be unknown to configure: $unknown_variables" >&5
       
 69173 $as_echo "$as_me: WARNING: The following variables might be unknown to configure: $unknown_variables" >&2;}
       
 69174   fi
 69175 
 69175 
 69176 
 69176 
 69177 # We're messing a bit with internal autoconf variables to put the config.status
 69177 # We're messing a bit with internal autoconf variables to put the config.status
 69178 # in the output directory instead of the current directory.
 69178 # in the output directory instead of the current directory.
 69179 CONFIG_STATUS="$CONFIGURESUPPORT_OUTPUTDIR/config.status"
 69179 CONFIG_STATUS="$CONFIGURESUPPORT_OUTPUTDIR/config.status"