diff options
| -rw-r--r-- | test/farm/html/gold_other/blah_blah_other.html (renamed from test/farm/html/gold_other/_ned_coverage_trunk_test_farm_html_othersrc_other.html) | 0 | ||||
| -rw-r--r-- | test/farm/html/run_other.py | 6 |
2 files changed, 6 insertions, 0 deletions
diff --git a/test/farm/html/gold_other/_ned_coverage_trunk_test_farm_html_othersrc_other.html b/test/farm/html/gold_other/blah_blah_other.html index 8f25d256..8f25d256 100644 --- a/test/farm/html/gold_other/_ned_coverage_trunk_test_farm_html_othersrc_other.html +++ b/test/farm/html/gold_other/blah_blah_other.html diff --git a/test/farm/html/run_other.py b/test/farm/html/run_other.py index b6f6c4fc..22850326 100644 --- a/test/farm/html/run_other.py +++ b/test/farm/html/run_other.py @@ -9,6 +9,12 @@ def html_it(): runfunc(html_it, rundir="src", addtopath="../othersrc") +# Different platforms will name the "other" file differently. Rename it +import os, glob + +for p in glob.glob("otherhtml/*_other.html"): + os.rename(p, "otherhtml/blah_blah_other.html") + # HTML files will change often. Check that the sizes are reasonable, # and check that certain key strings are in the output. compare("gold_other", "otherhtml", size_within=10) |