add_gdb_index.sh

#!/bin/bash
# Ref. http://sourceware.org/gdb/onlinedocs/gdb/Index-Files.html

if [ $# -ne 1 ]; then
  echo -e "$0 <binary>\n"
  echo -e "Add gdb index to <binary>\n"
  exit 1
fi

binary="$1"
dir="${binary%/*}"

echo "> Getting gdb index from $binary ..."
time gdb -nx --batch-silent -ex "file $binary" -ex "save gdb-index $dir"

echo -e "\n> Insert gdb index into $binary ..."
if [ -f "${binary}.gdb-index" ]; then
  time objcopy --add-section .gdb_index="${binary}.gdb-index" --set-section-flags .gdb_index=readonly "$binary" "$binary"
  rm -f "${binary}.gdb-index"
fi
echo -e "\n> Done."