< prev index next >

common/autoconf/help.m4

Print this page

        

*** 176,194 **** printf "\n" printf "====================================================\n" if test "x$no_create" != "xyes"; then if test "x$IS_RECONFIGURE" != "xyes"; then ! printf "A new configuration has been successfully created in\n %s\n" "$OUTPUT_ROOT" else ! printf "The existing configuration has been successfully updated in\n %s\n" "$OUTPUT_ROOT" fi else if test "x$IS_RECONFIGURE" != "xyes"; then printf "A configuration has been successfully checked but not created\n" else ! printf "The existing configuration has been successfully checked in\n %s\n" "$OUTPUT_ROOT" fi fi if test "x$CONFIGURE_COMMAND_LINE" != x; then printf "using configure arguments '$CONFIGURE_COMMAND_LINE'.\n" else --- 176,194 ---- printf "\n" printf "====================================================\n" if test "x$no_create" != "xyes"; then if test "x$IS_RECONFIGURE" != "xyes"; then ! printf "A new configuration has been successfully created in\n%s\n" "$OUTPUT_ROOT" else ! printf "The existing configuration has been successfully updated in\n%s\n" "$OUTPUT_ROOT" fi else if test "x$IS_RECONFIGURE" != "xyes"; then printf "A configuration has been successfully checked but not created\n" else ! printf "The existing configuration has been successfully checked in\n%s\n" "$OUTPUT_ROOT" fi fi if test "x$CONFIGURE_COMMAND_LINE" != x; then printf "using configure arguments '$CONFIGURE_COMMAND_LINE'.\n" else
*** 255,259 **** --- 255,273 ---- printf "WARNING: The result of this configuration was not saved.\n" printf "You should run without '--no-create | -n' to create the configuration.\n" printf "\n" fi ]) + + AC_DEFUN_ONCE([HELP_REPEAT_WARNINGS], + [ + if test -e "$OUTPUT_ROOT/config.log"; then + $GREP '^configure:.*: WARNING:' "$OUTPUT_ROOT/config.log" > /dev/null 2>&1 + if test $? -eq 0; then + printf "The following warnings were produced. Repeated here for convenience:\n" + # We must quote sed expression (using []) to stop m4 from eating the []. + $GREP '^configure:.*: WARNING:' "$OUTPUT_ROOT/config.log" | $SED -e [ 's/^configure:[0-9]*: //' ] + printf "\n" + fi + fi + + ])
< prev index next >