Regtest script: When filtering through js, don't filter out header rows.

diff --git a/scripts/build/output-distance.py b/scripts/build/output-distance.py
index 647d7bd7af07bad6888d97a1a58b61771dba258a..93483727a8249317d966600f0154cb7043ce1fc1 100755 (executable)
--- a/scripts/build/output-distance.py
+++ b/scripts/build/output-distance.py
@@ -980,7 +980,8 @@ class ComparisonData:
             row = rows[i];
             html = row.innerHTML;
             row.style.display =
-                (html.indexOf(substring + '">') != -1) ? "" : "none";
+                ((html.indexOf('>distance<') != -1) ||
+                 (html.indexOf(substring + '">') != -1)) ? "" : "none";
         }
     }
 // ]]>