diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2009-09-02 07:05:02 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gnu.org> | 2009-09-02 07:05:02 +0000 |
| commit | 8e957354b3222d1963e25338c1f92ed5b29d0251 (patch) | |
| tree | fcfed7f6b78eef20502ebb65bd0771d92df21d20 /Makefile.tpl | |
| parent | 2c6ee261a4c7d1072873a9e5a31df14fb6d18f6a (diff) | |
2009-09-02 Paolo Bonzini <bonzini@gnu.org>
* Makefile.tpl (AWK): Fix typo.
* Makefile.in: Regenerate.
2009-09-02 Paolo Bonzini <bonzini@gnu.org>
* configure.ac: Detect awk and sed.
* Makefile.def (flags_to_pass): Add AWK and SED.
* Makefile.tpl (AWK, SED): New.
(BASE_FLAGS_TO_PASS): Add AWK and SED.
* configure: Regenerate.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.tpl')
| -rw-r--r-- | Makefile.tpl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.tpl b/Makefile.tpl index 43614c1ca0..f12252b2c4 100644 --- a/Makefile.tpl +++ b/Makefile.tpl @@ -143,6 +143,8 @@ BASE_EXPORTS = \ BISON="$(BISON)"; export BISON; \ YACC="$(YACC)"; export YACC; \ M4="$(M4)"; export M4; \ + SED="$(SED)"; export SED; \ + AWK="$(AWK)"; export AWK; \ MAKEINFO="$(MAKEINFO)"; export MAKEINFO; # This is the list of variables to export in the environment when @@ -337,6 +339,8 @@ BOOT_CFLAGS= -g -O2 BOOT_LDFLAGS= BOOT_ADAFLAGS=-gnatpg -gnata +AWK = @AWK@ +SED = @SED@ BISON = @BISON@ YACC = @YACC@ FLEX = @FLEX@ |