diff options
| author | Tom Tromey <tromey@adacore.com> | 2019-11-15 13:48:27 -0700 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2019-11-15 13:48:27 -0700 |
| commit | e176f82170871202640d53d8edc0caa5c450901f (patch) | |
| tree | affea8b26305b3b63206f3b8a9376b76d2909786 /gnulib/ChangeLog | |
| parent | bb69c5018be23daa67a28fa83cb692f41d34c89e (diff) | |
| download | gdb-e176f82170871202640d53d8edc0caa5c450901f.zip gdb-e176f82170871202640d53d8edc0caa5c450901f.tar.gz gdb-e176f82170871202640d53d8edc0caa5c450901f.tar.bz2 | |
Add no-dist to gnulib configure
This adds the no-dist option to the gnulib configure script. gdb
doesn't use "make dist", so there's no need for this. Adding this
option makes the Makefiles less verbose.
gnulib/ChangeLog
2019-11-15 Tom Tromey <tromey@adacore.com>
* aclocal.m4, configure, Makefile.in, import/Makefile.in:
Rebuild.
* configure.ac: Remove obsolete comment. Add no-dist.
Change-Id: I5224e18af9acd5284acb79d5756b0e84b00406e9
Diffstat (limited to 'gnulib/ChangeLog')
| -rw-r--r-- | gnulib/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnulib/ChangeLog b/gnulib/ChangeLog index 8c88bbc..f718009 100644 --- a/gnulib/ChangeLog +++ b/gnulib/ChangeLog @@ -1,3 +1,9 @@ +2019-11-15 Tom Tromey <tromey@adacore.com> + + * aclocal.m4, configure, Makefile.in, import/Makefile.in: + Rebuild. + * configure.ac: Remove obsolete comment. Add no-dist. + 2019-11-15 Christian Biesinger <cbiesinger@google.com> * Makefile.in: Regenerate. |