diff options
| author | Tom Tromey <tom@tromey.com> | 2018-08-07 12:07:36 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2018-08-07 16:39:13 -0600 |
| commit | 9c61296405d4299b7000e445a6e07c0232bb0342 (patch) | |
| tree | b65783d1d7ade303ea03fb430153e507e6806185 /gdb/linux-nat.c | |
| parent | 7d11235d04ded4832430cd40013ca785a3896e4d (diff) | |
| download | gdb-9c61296405d4299b7000e445a6e07c0232bb0342.zip gdb-9c61296405d4299b7000e445a6e07c0232bb0342.tar.gz gdb-9c61296405d4299b7000e445a6e07c0232bb0342.tar.bz2 | |
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.
Diffstat (limited to 'gdb/linux-nat.c')
0 files changed, 0 insertions, 0 deletions