Re: [PATCH, contrib] Support multi-tool sum files in dg-cmp-results.sh

2017-06-20 Thread Mike Stump
On Jun 20, 2017, at 8:31 AM, Thomas Preudhomme wrote: > > 2017-06-14 Thomas Preud'homme > > * dg-cmp-results.sh: Keep test result lines rather than throwing > header and summary to support sum files with multiple tools.

Re: [PATCH, contrib] Support multi-tool sum files in dg-cmp-results.sh

2017-06-20 Thread Thomas Preudhomme
Hi Mike, Sorry, there was a mistake in the patch I sent. Please find an updated patch below. ChangeLog entry unchanged: *** contrib/ChangeLog *** 2017-06-14 Thomas Preud'homme * dg-cmp-results.sh: Keep test result lines rather than throwing

Re: [PATCH, contrib] Support multi-tool sum files in dg-cmp-results.sh

2017-06-19 Thread Mike Stump
On Jun 14, 2017, at 5:30 AM, Thomas Preudhomme wrote: > > 2017-06-14 Thomas Preud'homme > > * dg-cmp-results.sh: Keep test result lines rather than throwing > header and summary to support sum files with multiple tools.

Re: [PATCH, contrib] Support multi-tool sum files in dg-cmp-results.sh

2017-06-19 Thread Christophe Lyon
On 19 June 2017 at 12:44, Thomas Preudhomme wrote: > Wrong copy paste between the patch I tested and the patch I sent. The first > and second command of the sed should be replaced, not the second and third > as in the patch I sent. For more safety I'll rerun the

Re: [PATCH, contrib] Support multi-tool sum files in dg-cmp-results.sh

2017-06-19 Thread Thomas Preudhomme
Wrong copy paste between the patch I tested and the patch I sent. The first and second command of the sed should be replaced, not the second and third as in the patch I sent. For more safety I'll rerun the tests. Best regards, Thomas On 15/06/17 17:15, Thomas Preudhomme wrote: Forgetting

Re: [PATCH, contrib] Support multi-tool sum files in dg-cmp-results.sh

2017-06-15 Thread Thomas Preudhomme
Forgetting the patch: check! Sending it later as a reply to the wrong message: check! Hopefully I won't check a second time any of those. Best regards, Thomas On 14/06/17 13:30, Thomas Preudhomme wrote: Hi, dg-cmp-results.sh contrib script is written to work with sum file for a single tool

[PATCH, contrib] Support multi-tool sum files in dg-cmp-results.sh

2017-06-14 Thread Thomas Preudhomme
Hi, dg-cmp-results.sh contrib script is written to work with sum file for a single tool only. It throws away the header including the first === line and everything starting from the following ===, assuming it is the test result. This does not work well for sum files with results for multiple