diff options
author | Nathanael Nerode <neroden@gcc.gnu.org> | 2002-12-03 04:46:25 +0000 |
---|---|---|
committer | Nathanael Nerode <neroden@gcc.gnu.org> | 2002-12-03 04:46:25 +0000 |
commit | ae831be502bf99bc5da6b755f1d63a4dcea753c9 (patch) | |
tree | e30490486ad0ebbf277e311125a4838e2f9a1b88 /configure | |
parent | 36e53c6341449469a2e4a48e4692349ddb0e45e6 (diff) | |
download | gdb-ae831be502bf99bc5da6b755f1d63a4dcea753c9.zip gdb-ae831be502bf99bc5da6b755f1d63a4dcea753c9.tar.gz gdb-ae831be502bf99bc5da6b755f1d63a4dcea753c9.tar.bz2 |
* configure: Move gcc_version_trigger stuff from here...
* configure.in: ...to here.
* configure.in: Separate subconfigure options added by this file from
options given by the user. Add machinery to put args for host
subconfigures into the Makefile.
* Makefile.tpl: Remove 'vault' targets.
* Makefile.tpl: Reorder and comment dependencies.
* Makefile.in: Regenerate.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 22 |
1 files changed, 0 insertions, 22 deletions
@@ -585,28 +585,6 @@ case "${exec_prefixoption}" in *) ;; esac -# Define the trigger file to make sure configure will re-run whenever -# the gcc version number changes. -if [ "${with_gcc_version_trigger+set}" = set ]; then - gcc_version_trigger="$with_gcc_version_trigger" - gcc_version=`grep version_string ${with_gcc_version_trigger} | sed -e 's/.*\"\([^ \"]*\)[ \"].*/\1/'` -else - # If gcc's sources are available, define the trigger file. - if [ -f ${topsrcdir}/gcc/version.c ] ; then - gcc_version_trigger=${topsrcdir}/gcc/version.c - gcc_version=`grep version_string ${gcc_version_trigger} | sed -e 's/.*\"\([^ \"]*\)[ \"].*/\1/'` - case "$arguments" in - *--with-gcc-version-trigger=$gcc_version_trigger* ) - ;; - * ) - # Make sure configure.in knows about this. - arguments="--with-gcc-version-trigger=$gcc_version_trigger $arguments" - ;; - esac - withoptions="--with-gcc-version-trigger=$gcc_version_trigger $withoptions" - fi -fi - ### break up ${srcdir}/configure.in. case "`grep '^# per\-host:' ${srcdir}/configure.in`" in "") |