diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-01-11 11:46:21 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-01-11 11:46:21 +0000 |
| commit | 1410e798d6305a28f584d1c9973341b05ad542e7 (patch) | |
| tree | 53024f967ba745e5434dd0f0cb402d262cc2f6c1 /Makefile.in | |
| parent | 742ca2be3d11b4bb0d1a5ff959efbb08a08f9912 (diff) | |
| download | gcc-1410e798d6305a28f584d1c9973341b05ad542e7.tar.gz | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195104 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 843250f40b1..a2ce3545ec0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -364,7 +364,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@ |