From 3e63343fbc74b54f7776a9d8917b61db2506c2d8 Mon Sep 17 00:00:00 2001 From: Jeffrey Yasskin Date: Sun, 11 Jul 2010 14:35:28 +0800 Subject: Let the compiler find libraries that aren't in the current directory. --- src/boot/driver/lib.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/boot/driver/lib.ml b/src/boot/driver/lib.ml index 764fd688..71b310b0 100644 --- a/src/boot/driver/lib.ml +++ b/src/boot/driver/lib.ml @@ -176,7 +176,8 @@ let get_mod let dh = Unix.opendir dir in let rec scan _ = try - let file = Unix.readdir dh in + let basename = Unix.readdir dh in + let file = dir ^ "/" ^ basename in log sess "considering file %s" file; if (Filename.check_suffix file suffix) && (file_matches file) -- cgit v1.2.3