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 a5ff3c9861f..2a5a305bfb6 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 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@ 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@ -- 2.30.2