diff -r 8e8313e40f8a -r 4ccfca658d9b Makefile.in
--- a/Makefile.in	Tue Jan 17 00:37:59 2012 +0100
+++ b/Makefile.in	Sat Jul 14 18:25:47 2012 +0200
@@ -53,6 +53,7 @@
 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 @@
 	           -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 @@
 	@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 @@
 	@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)"';               \