sof 2002/09/16 08:08:16 PDT Modified files: src/unix configure.in Log: --with-fptools=<foo> is optional, so don't barf if it's not given. (==> ../../fptools is no longer a default.) 'unix/configure' update to follow. Revision Changes Path 1.40 +11 -9 hugs98/src/unix/configure.in