diff options
Diffstat (limited to 'gnattools/ChangeLog')
| -rw-r--r-- | gnattools/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index cbdb44f2412..81f32c10965 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,14 @@ +2008-07-30 Paolo Bonzini <bonzini@gnu.org> + + * configure.ac (x_ada_cflags): Remove. + (ADA_CFLAGS): Substitute. + * configure: Regenerate. + * Makefile.in (ADA_CFLAGS): Substitute. + (T_ADA_CFLAGS, X_ADA_CFLAGS, ALL_ADA_CFLAGS): Remove. + (TOOLS_FLAGS_TO_PASS_1, TOOLS_FLAGS_TO_PASS_1re, + TOOLS_FLAGS_TO_PASS_NATIVE, TOOLS_FLAGS_TO_PASS_CROSS): + Pass ADA_CFLAGS. + 2008-07-30 Laurent Guerby <laurent@guerby.net> PR ada/5911 |
