diff options
author | Tom Tromey <tom@tromey.com> | 2019-06-15 21:32:03 +0000 |
---|---|---|
committer | Tom Tromey <tromey@gcc.gnu.org> | 2019-06-15 21:32:03 +0000 |
commit | 98e5be211e3d59563e760feabb1d4384efe5a1b9 (patch) | |
tree | c6eb7127cefbbcee03ce166a54625f398533e595 /configure | |
parent | f6ebef4ebb56379020502ffb47e554ea3ffe764c (diff) | |
download | gcc-98e5be211e3d59563e760feabb1d4384efe5a1b9.zip gcc-98e5be211e3d59563e760feabb1d4384efe5a1b9.tar.gz gcc-98e5be211e3d59563e760feabb1d4384efe5a1b9.tar.bz2 |
Sync top-level change from gdb
This patch syncs a change to the top-level configury from gdb. It
should not affect the gcc build at all. Tested by rebuilding.
ChangeLog
2019-06-15 Tom Tromey <tom@tromey.com>
* configure.ac (host_libs): Add gnulib.
* configure: Rebuild.
* Makefile.def (host_modules, dependencies): Add gnulib.
* Makefile.in: Rebuild.
From-SVN: r272332
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -7237,6 +7237,14 @@ esac CONFIGURE_GDB_TK=`echo ${GDB_TK} | sed s/-all-/-configure-/g` INSTALL_GDB_TK=`echo ${GDB_TK} | sed s/-all-/-install-/g` +# gdb depends on gnulib, but as nothing else does, only include it if +# gdb is built. +if echo " ${configdirs} " | grep " gdb " > /dev/null 2>&1 ; then + # The Makefile provides the ordering, so it's enough here to add + # gnulib to the list. + configdirs="${configdirs} gnulib" +fi + # Strip out unwanted targets. # While at that, we remove Makefiles if we were started for recursive |