From d7b9dae92f00eae4783d49ac117302b3f4ef2e09 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 11 Jan 2013 11:48:54 +0000 Subject: [PATCH] * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata. * Makefile.in: Regenerate. --- ChangeLog | 5 +++++ Makefile.in | 2 +- Makefile.tpl | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index a5ff3c9..2a5a305 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-01-11 Eric Botcazou + + * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata. + * Makefile.in: Regenerate. + 2013-01-09 H.J. Lu * Makefile.def (configure-gcc): Depend on all-gmp. diff --git a/Makefile.in b/Makefile.in index 843250f..a2ce354 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@ diff --git a/Makefile.tpl b/Makefile.tpl index 5cdc119..3233a78 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@ -- 2.7.4