diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index b74a9291..3772058b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -53,6 +53,7 @@ export mandir := @mandir@ export datarootdir := @datarootdir@ export install := @INSTALL@ export bash := @_BASH@ +export awk := @_AWK@ export grep := @GREP@ export make := @MAKE@ export sed := @SED@ @@ -177,6 +178,7 @@ define sed_it -e 's,@@CT_DATE@@,$(DATE),g;' \ -e 's,@@CT_make@@,$(make),g;' \ -e 's,@@CT_bash@@,$(bash),g;' \ + -e 's,@@CT_awk@@,$(awk),g;' \ $< >$@ endef @@ -195,6 +197,7 @@ paths.mk: FORCE @echo " GEN '$@'" @(echo 'export install=$(install)'; \ echo 'export bash=$(bash)'; \ + echo 'export awk=$(awk)'; \ echo 'export grep=$(grep)'; \ echo 'export make=$(make)'; \ echo 'export sed=$(sed)'; \ @@ -210,6 +213,7 @@ paths.sh: FORCE @echo " GEN '$@'" @(echo 'export install="$(install)"'; \ echo 'export bash="$(bash)"'; \ + echo 'export awk="$(awk)"'; \ echo 'export grep="$(grep)"'; \ echo 'export make="$(make)"'; \ echo 'export sed="$(sed)"'; \ |