From ecc9544f651aaa8ea0853206f290f2e15d5dd21e Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 19 Dec 2012 00:05:14 +0000
Subject: Fix coqtop -config when absolute path have been given for ocaml*

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16102 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/envars.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/envars.ml')

diff --git a/lib/envars.ml b/lib/envars.ml
index 097ffe08e..a5eb827fe 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -18,7 +18,8 @@ let safe_getenv warning n =
     ("$"^n)
   )
 
-let ( / ) = Filename.concat
+let ( / ) a b =
+  if Filename.is_relative b then Filename.concat a b else b
 
 let coqify d = d / "coq"
 
-- 
cgit v1.2.3