diff options
| -rwxr-xr-x | scripts/remote-gdb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/remote-gdb b/scripts/remote-gdb index 380a22511b..98ec768f4b 100755 --- a/scripts/remote-gdb +++ b/scripts/remote-gdb @@ -65,6 +65,11 @@ if( opendir SD, "$Bin/../staging_dir" ) -f $ARGV[0] and $cmd = "core-file"; print $fh "$cmd $ARGV[0]\n"; + # History settings + print $fh "set history filename $Bin/../tmp/.gdb_history\n"; + print $fh "set history size 100000000\n"; + print $fh "set history save on\n"; + my $file = -f "$sysroot/$ARGV[1]" ? "$sysroot/$ARGV[1]" : $ARGV[1]; system($gdb, '-x', $fp, $file); |