robert 63d173db79 do not try to use auto* tools even if they are installed, because
this port does not need them, and it was broken on systems where
auto* tools were not installed; spotted by sturm@
2007-01-03 19:29:00 +00:00
..
2005-01-05 16:22:24 +00:00
2006-02-18 20:32:17 +00:00