gdb/

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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 2e0a96bcd74804d0fa246267934b79885aa069f3..8b0c16dcb2b2cbe326e85d92af6117205116d4c6 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 22eefaacbff339ed4f8006322fba321a7acf9db8..644ba346f3474e9a9430eb5e6aa5fcb282815e05 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