From: Alexandre Oliva Date: Wed, 25 Nov 1998 12:59:24 +0000 (+0000) Subject: test_summary (-p, [...]): add these before the summary X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0a95561803803ac0906c81eb8a36adb2c6e2505d;p=gcc.git test_summary (-p, [...]): add these before the summary * test_summary (-p, prepend_logs): add these before the summary (Compiler, Platform): print these just before configflags From-SVN: r23864 --- diff --git a/contrib/ChangeLog b/contrib/ChangeLog index a2b24018695..6de9948972b 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +1998-11-25 Alexandre Oliva + + * test_summary (-p, prepend_logs): add these before the summary + (Compiler, Platform): print these just before configflags + Sat Oct 31 10:53:40 1998 Kaveh R. Ghazi * warn_summary (longLineFilter): New shell function to encapsulate diff --git a/contrib/test_summary b/contrib/test_summary index 35a4ae68334..3280b3b4048 100755 --- a/contrib/test_summary +++ b/contrib/test_summary @@ -30,6 +30,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 +# -p: prepend specified file (or list of files: -p "a b") to the report # -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. @@ -54,6 +55,7 @@ while true; do case "$1" in -o) filesuffix=.sent; move=false; : ${mailto=nobody}; shift;; -t) move=false; shift;; + -p) prepend_logs=${prepend_logs+"$prepend_logs "}"$2"; shift 2;; -i) append_logs=${append_logs+"$append_logs "}"$2"; shift 2;; -m) mailto=$2; forcemail=true; shift 2;; -f) unset mailto; forcemail=true; shift;; @@ -83,7 +85,8 @@ if $forcemail || $anychange; then :; else mailto=nobody; fi && $AWK ' BEGIN { lang=""; - print "cat <0 { print; --blanks; } END { if (lang != "") { print ""; + print "Compiler version: " prefix version lang; + print "Platform: " host; print configflags; '${BOOT_CFLAGS+'print "BOOT_CFLAGS='"${BOOT_CFLAGS}"'";'}' if (boot_cflags != 0) print boot_cflags;