more robustly search for embedded libs
commit151488f462b130ee410b176306f6f3545d6f4570
authorMarshall Roch <mroch@fb.com>
Wed, 8 Jul 2015 19:02:53 +0000 (8 12:02 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Wed, 8 Jul 2015 19:32:59 +0000 (8 12:32 -0700)
tree74a67279d7c1254fc1a74183406d540175adebf6
parent31a328c0e6ebcd14554f072a83948e3546f34e4a
more robustly search for embedded libs

Reviewed By: @bhosmer

Differential Revision: D2206813
hphp/hack/src/utils/path.ml
hphp/hack/src/utils/path.mli
hphp/hack/src/utils/sys_utils.ml