[PATCH 1/2 v2] benchtests: Add --no-diff and --no-header options

[Siddhesh Poyarekar]

On 05/29/2018 10:47 PM, leonardo.sandoval.gonzalez@linux.intel.com wrote:
> From: Leonardo Sandoval <leonardo.sandoval.gonzalez@linux.intel.com>
> 
> Having a string comparison report with neither diff numbers nor header
> yields a more useful output to be consumed by other tools.
> 
> 	* benchtests/scripts/compare_string.py: Add --no-diff and --no-header
> 	options to avoid diff calculation and omit header, respectively.
> 	(main): process --no-diff and --no-header

Looks OK.

Thanks,
Siddhesh