diff options
| -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 |