commit 8f00d7a95a96472eaf6f9d0b854027cf6b021925
Author: Kornel Benko <[email protected]>
Date:   Wed Apr 26 14:19:21 2017 +0200

    To check if directory paths are identical we have to use realpath()
---
 src/tex2lyx/test/runtests.py |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/tex2lyx/test/runtests.py b/src/tex2lyx/test/runtests.py
index f85f70f..d5c8766 100755
--- a/src/tex2lyx/test/runtests.py
+++ b/src/tex2lyx/test/runtests.py
@@ -62,12 +62,12 @@ def main(argv):
     else:
         suffix = ""
     lyx = os.path.join(os.path.dirname(tex2lyx), "lyx" + suffix)
-    inputdir = os.path.dirname(argv[0])
+    inputdir = os.path.realpath(os.path.dirname(argv[0]))
     if len(argv) >= 4+skipcount:
-        outputdir = sys.argv[3+skipcount]
+        outputdir = os.path.realpath(sys.argv[3+skipcount])
     else:
 #        outputdir = inputdir
-        outputdir = os.path.join(os.path.dirname(tex2lyx), "test")
+        outputdir = os.path.realpath(os.path.join(os.path.dirname(tex2lyx), 
"test"))
 
     if len(argv) >= 5+skipcount:
         files = [sys.argv[4+skipcount]]

Reply via email to