From 8f00d7a95a96472eaf6f9d0b854027cf6b021925 Mon Sep 17 00:00:00 2001 From: Kornel Benko Date: Wed, 26 Apr 2017 14:19:21 +0200 Subject: [PATCH] To check if directory paths are identical we have to use realpath() --- src/tex2lyx/test/runtests.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/tex2lyx/test/runtests.py b/src/tex2lyx/test/runtests.py index f85f70fff1..d5c8766ccd 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]] -- 2.39.2