configure
changeset 755 c2212f59e1cf
parent 707 54a54765e827
child 774 77d925a3765a
     1.1 --- a/configure	Tue Jul 22 09:17:40 2008 +0000
     1.2 +++ b/configure	Mon Aug 04 08:44:54 2008 +0000
     1.3 @@ -23,6 +23,7 @@
     1.4  tar
     1.5  gzip
     1.6  bzip2
     1.7 +readlink
     1.8  '
     1.9  
    1.10  PREFIX_DEFAULT=/usr/local