common/autoconf/configure

Print this page

        

*** 20,41 **** # Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA # or visit www.oracle.com if you need additional information or have any # questions. # ! if test "x$BASH_VERSION" = x; then ! echo This script needs bash to run. ! echo It is recommended to use the configure script in the source tree root instead. exit 1 fi ! conf_script_dir=`dirname $0` if [ "$CUSTOM_CONFIG_DIR" = "" ]; then ! conf_custom_script_dir="$conf_script_dir/../../closed/autoconf" else ! conf_custom_script_dir=$CUSTOM_CONFIG_DIR fi ### ### Test that the generated configure is up-to-date ### --- 20,48 ---- # Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA # or visit www.oracle.com if you need additional information or have any # questions. # ! if test "x$1" != xCHECKME; then ! echo "This script cannot be run directly." ! echo "Use the 'configure' script in the top-level directory instead." exit 1 fi ! # Now the next argument is the absolute top-level directory path. ! # The TOPDIR variable is passed on to configure.ac. ! TOPDIR="$2" ! # Remove these two arguments to get to the user supplied arguments ! shift ! shift ! ! conf_script_dir="$TOPDIR/common/autoconf" if [ "$CUSTOM_CONFIG_DIR" = "" ]; then ! conf_custom_script_dir="$TOPDIR/closed/autoconf" else ! conf_custom_script_dir="$CUSTOM_CONFIG_DIR" fi ### ### Test that the generated configure is up-to-date ###
*** 224,237 **** ### ### Call the configure script ### if test -e $conf_custom_script_dir/generated-configure.sh; then # Custom source configure available; run that instead ! echo Running custom generated-configure.sh conf_script_to_run=$conf_custom_script_dir/generated-configure.sh else ! echo Running generated-configure.sh conf_script_to_run=$conf_script_dir/generated-configure.sh fi if test "x$conf_debug_configure" != x; then # Turn on shell debug output if requested (initial or recursive) --- 231,244 ---- ### ### Call the configure script ### if test -e $conf_custom_script_dir/generated-configure.sh; then # Custom source configure available; run that instead ! echo "Running custom generated-configure.sh" conf_script_to_run=$conf_custom_script_dir/generated-configure.sh else ! echo "Running generated-configure.sh" conf_script_to_run=$conf_script_dir/generated-configure.sh fi if test "x$conf_debug_configure" != x; then # Turn on shell debug output if requested (initial or recursive)