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]]