diff -r 7439f29a0476 -r 39b1c755f19b Makefile.in
--- a/Makefile.in	Mon Apr 20 19:57:16 2009 +0000
+++ b/Makefile.in	Sun Apr 26 10:47:00 2009 +0000
@@ -51,7 +51,6 @@
 bash   := @@bash@@
 grep   := @@grep@@
 make   := @@make@@
-awk    := @@awk@@
 sed    := @@sed@@
 
 ###############################################################################
@@ -139,7 +138,6 @@
 	  echo "export bash=$(bash)";       \
 	  echo "export grep=$(grep)";       \
 	  echo "export make=$(make)";       \
-	  echo "export awk=$(awk)";         \
 	  echo "export sed=$(sed)";         \
 	 ) >paths.mk