0ec4d78
Share '/usr/bin/gdb-add-index' between gdb-minimal and gdb-headless (Igor Gnatenko, RHBZ 1695015).