diff options
| -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 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@ |