Regtest script: Print filename.

Print the filename instead of printing a python class instance.

diff --git a/scripts/build/output-distance.py b/scripts/build/output-distance.py
index d9933efa083fe2792bd9b60ff7939400fb907482..734b366f6b7ed91a0232ac36dae090ab7b7675b5 100755 (executable)
--- a/scripts/build/output-distance.py
+++ b/scripts/build/output-distance.py
@@ -827,7 +827,7 @@ class ComparisonData:
                 re.sub (r'\\sourcefilename "([^"]+)"',
                         note_original, open (sf).read ())
             else:
-                print 'no source for', val
+                print 'no source for', val.file_names[1]
 
     def compare_trees (self, dir1, dir2):
         self.compare_directories (dir1, dir2)