diff --git a/contrib/ChangeLog b/contrib/ChangeLog index dde0d7bd36e..0978df51dbf 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2016-09-23 Rainer Orth + + * dg-extract-results.sh: Revert bogus change. + 2016-09-20 Christophe Lyon * dg-extract-results.py: Report DejaGnu error in the final diff --git a/contrib/dg-extract-results.sh b/contrib/dg-extract-results.sh index 519d49c00c3..6ee3d26de31 100755 --- a/contrib/dg-extract-results.sh +++ b/contrib/dg-extract-results.sh @@ -434,7 +434,7 @@ BEGIN { /^# of unresolved testcases/ { unrescnt += \$5 } /^# of unsupported tests/ { unsupcnt += \$5 } END { - printf ("\n\t\t=== %s MySummary ===\n\n", tool) + printf ("\n\t\t=== %s Summary ===\n\n", tool) if (dgerrorcnt != 0) printf ("# of DejaGnu errors\t\t%d\n", dgerrorcnt) if (passcnt != 0) printf ("# of expected passes\t\t%d\n", passcnt) if (failcnt != 0) printf ("# of unexpected failures\t%d\n", failcnt)