diff options
| author | Alexandre Oliva <oliva@dcc.unicamp.br> | 1998-06-19 01:39:58 +0000 |
|---|---|---|
| committer | Jeffrey A Law <law@cygnus.com> | 1998-06-19 01:39:58 +0000 |
| commit | 98d7cfc0f89a622107b7942737e1f727003c78fa (patch) | |
| tree | 743fb6aedc8b003a668cf19c8a840881ccf56b78 /contrib/test_summary | |
| parent | a603e68cbc5537f9bea0454f698496e181f88680 (diff) | |
* test_summary: new switch (-i) and environment variable
(append_logs) for including files in the report.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@20578 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib/test_summary')
| -rwxr-xr-x | contrib/test_summary | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/test_summary b/contrib/test_summary index 455bd998b83..6f2d6b0ceea 100755 --- a/contrib/test_summary +++ b/contrib/test_summary @@ -29,6 +29,7 @@ # It accepts a few command line arguments. For example: # -o: re-reads logs that have been mailed already (.sum.sent) # -t: prevents logs from being renamed +# -i: append specified file (or list of files: -i "a b") to the report # -m: specify the e-mail address to send notes to. An appropriate default should be selected from the log files. # -f: force reports to be mailed; if omitted, only reports that differ from the sent.* version are sent @@ -50,6 +51,7 @@ while true; do case "$1" in -o) filesuffix=.sent; move=false; : ${mailto=nobody}; shift;; -t) move=false; shift;; + -i) append_logs=${append_logs+"$append_logs "}"$2"; shift 2;; -m) mailto=$2; forcemail=true; shift 2;; -f) unset mailto; forcemail=true; shift;; *) break;; @@ -108,9 +110,11 @@ $2 == "version" { save = $0; $1 = ""; $2 = ""; version = $0; gsub(/^ */, "", ver # /^FAIL/ { dumpall=1; } /^$/ && blanks>0 { print; --blanks; } END { if (lang != "") { + print ""; print configflags; '${BOOT_CFLAGS+'print "BOOT_CFLAGS='"${BOOT_CFLAGS}"'";'}' if (boot_cflags != 0) print boot_cflags; +'${append_logs+" system(\"cat $append_logs\"); "}' print "EOF"; print "Mail -s \"Results for " prefix version lang "testsuite on " host "\" '"${mailto}"' &&"; }} |