Regtest script: Keep the folder prefix in the name.

Two files with the same basename can occur under
two different folders. They should be tracked as
two separate files.

diff --git a/scripts/build/output-distance.py b/scripts/build/output-distance.py
index 63b2853dae34411642ae06cba9a54059a4bbc512..cf213da8b13d0717e80b14ae38ebc1b9f785832b 100755 (executable)
--- a/scripts/build/output-distance.py
+++ b/scripts/build/output-distance.py
@@ -887,14 +887,18 @@ class ComparisonData:
                 self.compare_general_files (klasses[ext], f1, f2)
 
     def compare_general_files (self, klass, f1, f2):
+        prefix = os.path.commonprefix ([f1, f2])
         name = os.path.split (f1)[1]
+        name = os.path.join (prefix, name)
 
         file_link = klass (f1, f2)
         self.file_links[name] = file_link
 
     def compare_signature_files (self, f1, f2):
+        prefix = os.path.commonprefix ([f1, f2])
         name = os.path.split (f1)[1]
         name = re.sub ('-[0-9]+.signature', '', name)
+        name = os.path.join (prefix, name)
 
         file_link = None
         try: