]> git.lyx.org Git - features.git/commitdiff
To check if directory paths are identical we have to use realpath()
authorKornel Benko <kornel@lyx.org>
Wed, 26 Apr 2017 12:19:21 +0000 (14:19 +0200)
committerKornel Benko <kornel@lyx.org>
Wed, 26 Apr 2017 12:20:32 +0000 (14:20 +0200)
src/tex2lyx/test/runtests.py

index f85f70fff1c52cd81d7d90520bdb41f8687a0ae5..d5c8766ccdd77a14fb3554bfbabb6e166d2f0560 100755 (executable)
@@ -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]]