diff options
| author | Jan Kratochvil <jan.kratochvil@redhat.com> | 2012-06-24 06:58:11 +0000 |
|---|---|---|
| committer | Jan Kratochvil <jan.kratochvil@redhat.com> | 2012-06-24 06:58:11 +0000 |
| commit | 8d6e0714b7f1919bfe3720e8d0417708f00ae1ba (patch) | |
| tree | 1e8ba578355e1e82c189b3f01b132499b94d5f60 | |
| parent | 1c06bd587ec3d6fc1c8a28aafd05c54aa41ec57d (diff) | |
| download | gdb-8d6e0714b7f1919bfe3720e8d0417708f00ae1ba.zip gdb-8d6e0714b7f1919bfe3720e8d0417708f00ae1ba.tar.gz gdb-8d6e0714b7f1919bfe3720e8d0417708f00ae1ba.tar.bz2 | |
gdb/
* cc-with-index.sh: Use also -ex "set auto-load no".
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/cc-with-index.sh | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 2e0a96b..8b0c16d 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2012-06-24 Jan Kratochvil <jan.kratochvil@redhat.com> + + * cc-with-index.sh: Use also -ex "set auto-load no". + 2012-06-23 Doug Evans <dje@google.com> PR 14125 diff --git a/gdb/cc-with-index.sh b/gdb/cc-with-index.sh index 22eefaa..644ba34 100644 --- a/gdb/cc-with-index.sh +++ b/gdb/cc-with-index.sh @@ -107,7 +107,7 @@ then exit 1 fi -$GDB --batch-silent -nx -ex "file $output_file" -ex "save gdb-index $output_dir" +$GDB --batch-silent -nx -ex "set auto-load no" -ex "file $output_file" -ex "save gdb-index $output_dir" rc=$? [ $rc != 0 ] && exit $rc |