gdb/

	* cc-with-index.sh: Use also -ex "set auto-load no".

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 2e0a96b..8b0c16d 100644 (file)
--- 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 (file)
--- 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