Allow CPPFLAGS to be set on the make command line
authorTom Tromey <tom@tromey.com>
Tue, 7 Aug 2018 18:07:36 +0000 (12:07 -0600)
committerTom Tromey <tom@tromey.com>
Tue, 7 Aug 2018 22:39:13 +0000 (16:39 -0600)
commit9c61296405d4299b7000e445a6e07c0232bb0342
treeb65783d1d7ade303ea03fb430153e507e6806185
parent7d11235d04ded4832430cd40013ca785a3896e4d
Allow CPPFLAGS to be set on the make command line

While looking into PR build/8751 (which seems to be fixed), I noticed
that it's not possible to change CPPFLAGS for gdb on the "make"
command line.  It's reasonable to want to do this sometimes, and I
think this patch should suffice.

gdb/ChangeLog
2018-08-07  Tom Tromey  <tom@tromey.com>

* Makefile.in (CPPFLAGS): New variable.
(INTERNAL_CPPFLAGS): Use it.
gdb/ChangeLog
gdb/Makefile.in