diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2018-09-13 09:43:29 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-09-13 09:43:29 +0200 |
| commit | 54de7d7dd08a28f1783ee7c99bf57b5ac93614ef (patch) | |
| tree | 8f032f7ff7b8acfbf449e1721582f0bf80f6adcb /gcc/configure.ac | |
| parent | d51232fb3bd02f8862478fe5f1a7b0fa6751b573 (diff) | |
| download | gcc-54de7d7dd08a28f1783ee7c99bf57b5ac93614ef.zip gcc-54de7d7dd08a28f1783ee7c99bf57b5ac93614ef.tar.gz gcc-54de7d7dd08a28f1783ee7c99bf57b5ac93614ef.tar.bz2 | |
configure.ac: Only append " ...
* configure.ac: Only append
" : (reconfigured) $TOPLEVEL_CONFIGURE_ARGUMENTS" to
gcc_config_arguments if it was never reconfigured or last reconfigure
was with different arguments.
* configure: Regenerated.
From-SVN: r264262
Diffstat (limited to 'gcc/configure.ac')
| -rw-r--r-- | gcc/configure.ac | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/configure.ac b/gcc/configure.ac index 65f9c92..fceab2f 100644 --- a/gcc/configure.ac +++ b/gcc/configure.ac @@ -1744,7 +1744,10 @@ changequote(,)dnl if test -f configargs.h ; then # Being re-configured. gcc_config_arguments=`grep configuration_arguments configargs.h | sed -e 's/.*"\([^"]*\)".*/\1/'` - gcc_config_arguments="$gcc_config_arguments : (reconfigured) $TOPLEVEL_CONFIGURE_ARGUMENTS" + gcc_reconf_arguments=`echo "$gcc_config_arguments" | sed -e 's/^.*\( : (reconfigured) .*$\)/\1/'` + if [ "$gcc_reconf_arguments" != " : (reconfigured) $TOPLEVEL_CONFIGURE_ARGUMENTS" ]; then + gcc_config_arguments="$gcc_config_arguments : (reconfigured) $TOPLEVEL_CONFIGURE_ARGUMENTS" + fi else gcc_config_arguments="$TOPLEVEL_CONFIGURE_ARGUMENTS" fi |