diff --git a/share/analysis-scripts/find_fun.py b/share/analysis-scripts/find_fun.py index b8a3565da0bad21178f815a28b18749f3405d46d..5ef92a69b6287eeb95687c4cc6c443bec8bf503b 100755 --- a/share/analysis-scripts/find_fun.py +++ b/share/analysis-scripts/find_fun.py @@ -101,8 +101,8 @@ else: if possible_declarators != []: print("Possible declarations for function '%s' in the following file(s):" % fname) - print(" " + "\n ".join(possible_declarators)) + print(" " + "\n ".join(map(os.path.relpath, possible_declarators))) if possible_definers != []: print("Possible definitions for function '%s' in the following file(s):" % fname) - print(" " + "\n ".join(possible_definers)) + print(" " + "\n ".join(map(os.path.relpath, possible_definers)))