From 5ac012f3cc14f32b703f5317cbb7a414771c0650 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 25 May 2013 18:06:26 +0400 Subject: [PATCH] Try to resolve relative path to remote target --- main.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/main.ml b/main.ml index 4250e7a..4c25f49 100644 --- a/main.ml +++ b/main.ml @@ -4922,6 +4922,11 @@ let gotounder = function if Filename.is_relative filename then let dir = Filename.dirname state.path in + let dir = + if Filename.is_implicit dir + then Filename.concat (Sys.getcwd ()) dir + else dir + in Filename.concat dir filename else filename else "" -- 2.11.4.GIT