configure
changeset 801 abd105984689
parent 755 c2212f59e1cf
child 870 76a65d37807f
     1.1 --- a/configure	Mon Aug 04 08:44:54 2008 +0000
     1.2 +++ b/configure	Wed Aug 20 12:08:03 2008 +0000
     1.3 @@ -23,7 +23,6 @@
     1.4  tar
     1.5  gzip
     1.6  bzip2
     1.7 -readlink
     1.8  '
     1.9  
    1.10  PREFIX_DEFAULT=/usr/local