diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2013-01-11 15:48:54 +0400 |
---|---|---|
committer | Eric Botcazou <ebotcazou@adacore.com> | 2013-01-11 15:48:54 +0400 |
commit | 2880becf0c27375885f1b7d9fd4444065a67462e (patch) | |
tree | 2576691080dd2e4931fe2afcfed95550ada3a465 | |
parent | 09707415eb6110268da579fa0641c3a451f138ca (diff) |
* Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
* Makefile.in: Regenerate.
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | Makefile.in | 2 | ||||
-rw-r--r-- | Makefile.tpl | 2 |
3 files changed, 7 insertions, 2 deletions
@@ -1,3 +1,8 @@ +2013-01-11 Eric Botcazou <ebotcazou@adacore.com> + + * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata. + * Makefile.in: Regenerate. + 2013-01-09 H.J. Lu <hongjiu.lu@intel.com> * Makefile.def (configure-gcc): Depend on all-gmp. diff --git a/Makefile.in b/Makefile.in index 843250f40..a2ce3545e 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 5cdc119d9..3233a788d 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@ |