Changeset 60096

Timestamp:

Mar 3, 2010, 8:10:32 AM (13 years ago)

Author:

Daniel James

Message:

Fix the check for boost root.

Boost no longer has a 'configure' file. Also check for $BOOST_ROOT as
that's the standard way of specifying boost's location.

(No files)