commit bd068bd6667c8f1b930059eb61731b6269da0312
parent bd3f1401d3e3abfdf424330e923c1d7590c9a33d
Author: deurzen <m.deurzen@tum.de>
Date: Wed, 3 Feb 2021 22:55:03 +0100
accounts for trailing slash
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/project/type_dict.py b/project/type_dict.py
@@ -51,7 +51,8 @@ class CodeDict():
def parse(self):
ignore = ["*", "->", "(", ")", "[", "]"]
- dir = len(self.inf.readline()) - 1
+ line = self.inf.readline()
+ dir = len(line) - 1 if line[-1] == "/" else len(line)
for line in self.inf.readlines():
# Remove directory prefix, insert ./ to reflect the frame representation of source file in gdb