diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2013-01-11 11:46:21 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2013-01-11 11:46:21 +0000 |
| commit | 7cb9fd07fe867fd0f29c1b2ff1142fa6c750d73a (patch) | |
| tree | 53024f967ba745e5434dd0f0cb402d262cc2f6c1 /Makefile.tpl | |
| parent | c7ab25306dd8672e44b23414ebd2cf590c9fa63e (diff) | |
Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
* Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
* Makefile.in: Regenerate.
gcc/
* configure.ac (Tree checking): Set TREECHECKING to yes if enabled.
Substitute TREECHECKING.
* configure: Regenerate.
* Makefile.in (TREECHECKING): New.
gcc/ada/
* gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata.
(CHECKING_ADAFLAGS): New.
(ALL_ADAFLAGS): Include CHECKING_ADAFLAGS.
From-SVN: r195104
Diffstat (limited to 'Makefile.tpl')
| -rw-r--r-- | Makefile.tpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.tpl b/Makefile.tpl index 5cdc119d9b1..3233a788d8d 100644 --- a/Makefile.tpl +++ b/Makefile.tpl @@ -367,7 +367,7 @@ BUILD_PREFIX_1 = @BUILD_PREFIX_1@ # here so that they can be overridden by Makefile fragments. BOOT_CFLAGS= -g -O2 BOOT_LDFLAGS= -BOOT_ADAFLAGS=-gnatpg -gnata +BOOT_ADAFLAGS= -gnatpg AWK = @AWK@ SED = @SED@ |