comparison make/autoconf/configure @ 47944:5ab3961d20dd

8191204: Post-consolidation cleaning up of the build system Reviewed-by: tbell, dholmes
author ihse
date Tue, 21 Nov 2017 09:56:35 +0100
parents ea082b202a23
children ba52fa7bbf14
comparison
equal deleted inserted replaced
3:ae319624bfa8 4:7ddaf5302931
88 fi 88 fi
89 } 89 }
90 90
91 check_hg_updates() { 91 check_hg_updates() {
92 if test "x`which hg 2> /dev/null | grep -v '^no hg in'`" != x; then 92 if test "x`which hg 2> /dev/null | grep -v '^no hg in'`" != x; then
93 conf_updated_autoconf_files=`cd $conf_script_dir && hg status -mard 2> /dev/null | grep autoconf` 93 conf_updated_autoconf_files=`cd $conf_script_dir && hg status -mard . 2> /dev/null`
94 if test "x$conf_updated_autoconf_files" != x; then 94 if test "x$conf_updated_autoconf_files" != x; then
95 echo "Configure source code has been updated, checking time stamps" 95 echo "Configure source code has been updated, checking time stamps"
96 check_autoconf_timestamps 96 check_autoconf_timestamps
97 elif test "x$CUSTOM_CONFIG_DIR" != x; then 97 elif test "x$CUSTOM_CONFIG_DIR" != x; then
98 # If custom source configure is available, make sure it is up-to-date as well. 98 # If custom source configure is available, make sure it is up-to-date as well.
99 conf_custom_updated_autoconf_files=`cd $CUSTOM_CONFIG_DIR && hg status -mard 2> /dev/null | grep autoconf` 99 conf_custom_updated_autoconf_files=`cd $CUSTOM_CONFIG_DIR && hg status -mard . 2> /dev/null`
100 if test "x$conf_custom_updated_autoconf_files" != x; then 100 if test "x$conf_custom_updated_autoconf_files" != x; then
101 echo "Configure custom source code has been updated, checking time stamps" 101 echo "Configure custom source code has been updated, checking time stamps"
102 check_autoconf_timestamps 102 check_autoconf_timestamps
103 fi 103 fi
104 fi 104 fi