Makefile.in
branch1.4
changeset 1307 39b1c755f19b
parent 1297 7439f29a0476
child 1336 bc8b9381f637
     1.1 --- a/Makefile.in	Mon Apr 20 19:57:16 2009 +0000
     1.2 +++ b/Makefile.in	Sun Apr 26 10:47:00 2009 +0000
     1.3 @@ -51,7 +51,6 @@
     1.4  bash   := @@bash@@
     1.5  grep   := @@grep@@
     1.6  make   := @@make@@
     1.7 -awk    := @@awk@@
     1.8  sed    := @@sed@@
     1.9  
    1.10  ###############################################################################
    1.11 @@ -139,7 +138,6 @@
    1.12  	  echo "export bash=$(bash)";       \
    1.13  	  echo "export grep=$(grep)";       \
    1.14  	  echo "export make=$(make)";       \
    1.15 -	  echo "export awk=$(awk)";         \
    1.16  	  echo "export sed=$(sed)";         \
    1.17  	 ) >paths.mk
    1.18