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