[PATCH 4/7] Disable history saving for testsuit

[Pedro Alves]

On 05/15/2013 11:56 AM, mbilal wrote:
> HI,
> Please find attached updated patch.
> In this patch, History saving is being disabled for all testsuite.
> 
> 
> 2013-05-06  Muhammad Bilal <mbilal@codesourcery.com>

Double space after name.

> 
>     PR gdb/15224
>     * lib/gdb.exp: Disable history saving for testsuites.

Say:

	* lib/gdb.exp: Add '-ex "set history save off"' to
	INTERNAL_GDBFLAGS

Okay with those changes.

-- 
Pedro Alves