Regtest script: Allow to customize the length of shortened strings.

diff --git a/scripts/build/output-distance.py b/scripts/build/output-distance.py
index 941f879f478accc3a71ab92dc3a739fd13c5d47e..647d7bd7af07bad6888d97a1a58b61771dba258a 100755 (executable)
--- a/scripts/build/output-distance.py
+++ b/scripts/build/output-distance.py
@@ -53,8 +53,7 @@ def system (c):
         raise Exception ("failed")
     return
 
-def shorten_string (s):
-    threshold = 15
+def shorten_string (s, threshold = 15):
     if len (s) > 2*threshold:
         s = s[:threshold] + '..' + s[-threshold:]
     return s