diff options
Diffstat (limited to 'gnulib-tool')
-rwxr-xr-x | gnulib-tool | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnulib-tool b/gnulib-tool index 1a9a45aaf1..182b9b4a4e 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -6142,9 +6142,11 @@ s,//*$,/,' fi done if grep '^ *AC_PROG_CC_STDC' "$configure_ac" > /dev/null; then + echo " - replace AC_PROG_CC_STDC with AC_PROG_CC in $configure_ac," position_early_after=AC_PROG_CC_STDC else if grep '^ *AC_PROG_CC_C99' "$configure_ac" > /dev/null; then + echo " - replace AC_PROG_CC_C99 with AC_PROG_CC in $configure_ac," position_early_after=AC_PROG_CC_C99 else position_early_after=AC_PROG_CC |