diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2003-09-30 18:49:41 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2003-09-30 18:49:41 +0000 |
commit | 98004c4ce6b1853dfd86c8060a049094afb4de93 (patch) | |
tree | 255118fb84be34f0f86cc64bbe8fc5b49b17d643 | |
parent | cbf27ba1d773893bce94a86395804aac17bfead8 (diff) | |
download | perl-MDK-Common-98004c4ce6b1853dfd86c8060a049094afb4de93.tar perl-MDK-Common-98004c4ce6b1853dfd86c8060a049094afb4de93.tar.gz perl-MDK-Common-98004c4ce6b1853dfd86c8060a049094afb4de93.tar.bz2 perl-MDK-Common-98004c4ce6b1853dfd86c8060a049094afb4de93.tar.xz perl-MDK-Common-98004c4ce6b1853dfd86c8060a049094afb4de93.zip |
handle same files with different names (cuz of symbolic links)
-rw-r--r-- | perl_checker.src/common.ml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/perl_checker.src/common.ml b/perl_checker.src/common.ml index 4a7f950..6d5c79c 100644 --- a/perl_checker.src/common.ml +++ b/perl_checker.src/common.ml @@ -829,9 +829,13 @@ let expand_symlinks file = | _ -> internal_error (Printf.sprintf "expand_symlinks: %s is relative\n" file) let file_to_absolute_file file = - if file.[0] = '/' then file else - let cwd = Unix.getcwd() in - if file = "." then cwd else expand_symlinks (cwd ^ "/" ^ file) + let abs_file = + if file.[0] = '/' then file else + let cwd = Unix.getcwd() in + if file = "." then cwd else cwd ^ "/" ^ file + in + expand_symlinks abs_file + let mtime f = int_of_float ((Unix.stat f).Unix.st_mtime) |