浏览代码

use Extc.filetime

Nicolas Cannasse 9 年之前
父节点
当前提交
df977b1d92
共有 2 个文件被更改,包括 2 次插入3 次删除
  1. 1 1
      libs
  2. 1 2
      src/context/common.ml

+ 1 - 1
libs

@@ -1 +1 @@
-Subproject commit 13567c5c5c60625289132cc0216b9e6ff9bb4698
+Subproject commit b01bd55ca1ed60f848053817442cc9c687f908f1

+ 1 - 2
src/context/common.ml

@@ -788,8 +788,7 @@ let clone com =
 		};
 		};
 	}
 	}
 
 
-let file_time file =
-	try (Unix.stat file).Unix.st_mtime with _ -> 0.
+let file_time file = Extc.filetime file
 
 
 let file_extension file =
 let file_extension file =
 	match List.rev (ExtString.String.nsplit file ".") with
 	match List.rev (ExtString.String.nsplit file ".") with