typos

diff --git a/buildscripts/output-distance.py b/buildscripts/output-distance.py
index df923aba6afe39367cfc53ef639553f0f0eddce9..d3ef36b3c6a393a69d2535db5bbc4f24b9eb4177 100644 (file)
--- a/buildscripts/output-distance.py
+++ b/buildscripts/output-distance.py
@@ -915,8 +915,12 @@ def main ():
 
     global inspect_max_count
     inspect_max_count = o.max_count
+
+    name = a[0].replace ('/', '')
+    if len (name) > 20:
+        name = name[:10] + '..' + name[-10:]
     
-    compare_trees (a[0], a[1], os.path.join (a[1],  'compare-' +  a[0].replace ('/', '')),
+    compare_trees (a[0], a[1], os.path.join (a[1],  'compare-' +  name),
                    o.threshold)
 
 if __name__ == '__main__':