diff --git a/scripts/cov_merge.py b/scripts/cov_merge.py new file mode 100644 index 0000000000..8b4cd1c6d5 --- /dev/null +++ b/scripts/cov_merge.py @@ -0,0 +1,172 @@ +import os +import sys +from textwrap import dedent +from bs4 import BeautifulSoup +import multiprocessing + + +FIRST = dedent( + ''' + +
+ +