diff options
author | Stuart Monteith <stuart.monteith@linaro.org> | 2016-11-07 16:57:30 +0000 |
---|---|---|
committer | Stuart Monteith <stuart.monteith@linaro.org> | 2016-11-07 16:57:30 +0000 |
commit | 7644f91493d69041c400586aea6b4899f6b09fee (patch) | |
tree | 09ff8c732fbe07c4e60a5f76cee7b1f10138e012 | |
parent | ec11ce4845dc565b46e9b4f6fb4fe71ee74c1121 (diff) |
Add diagnostics
-rwxr-xr-x | make-summary-page.py | 1 | ||||
-rwxr-xr-x | rewrite-urls | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/make-summary-page.py b/make-summary-page.py index ef5e993..2c809fb 100755 --- a/make-summary-page.py +++ b/make-summary-page.py @@ -166,6 +166,7 @@ def main(top_dir): add_fatal_errors(top_dir, body) add_metadata_table(top_dir, body) body <= H2(A("[Index]", href="{}/index.html".format(top_dir))) + bodu <= "<PRE>report_dir='{0}', super_diff_dir='{1}'</PRE>".format(report_dir, super_diff_dir); body <= P("Page generated on: {}".format(time.strftime("%a, %d %b %Y %T %z"))) print HTML(head + body) diff --git a/rewrite-urls b/rewrite-urls index 13d84b0..963a317 100755 --- a/rewrite-urls +++ b/rewrite-urls @@ -25,6 +25,8 @@ progname=$(basename $0) d=$(basename $TOP_DIR) sed_expr=$(echo s!$TOP_DIR!/$JDK_VERSION/$d!g) +echo "rewrite-urls: sed_expr=\"${sed_expr}\"" + find $TOP_DIR/reports -type f -exec perl -p -i -e "$sed_expr" {} \; find $TOP_DIR/super-diff -type f -exec perl -p -i -e "$sed_expr" {} \; find $TOP_DIR/index.html -maxdepth 1 -type f -exec perl -p -i -e "$sed_expr" {} \; |