diff options
| -rwxr-xr-x | gdb/contrib/gdb-add-index.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/contrib/gdb-add-index.sh b/gdb/contrib/gdb-add-index.sh index 0ff943d..591f32b 100755 --- a/gdb/contrib/gdb-add-index.sh +++ b/gdb/contrib/gdb-add-index.sh @@ -112,6 +112,7 @@ rm -f $tmp_files trap "rm -f $tmp_files" 0 $GDB --batch -nx -iex 'set auto-load no' \ + -iex 'set debuginfod enabled off' \ -ex "file $file" -ex "save gdb-index $dwarf5 $dir" || { # Just in case. status=$? |