Skip to content

Instantly share code, notes, and snippets.

@zzzoom
Created April 27, 2016 01:05
Show Gist options
  • Save zzzoom/733d8829aa317caff067232e6d7951ae to your computer and use it in GitHub Desktop.
Save zzzoom/733d8829aa317caff067232e6d7951ae to your computer and use it in GitHub Desktop.
Split debugging information to a separate .dbg file
#!/bin/sh
objcopy --only-keep-debug $1 $1.dbg
strip -g $1
objcopy --add-gnu-debuglink=$1.dbg $1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment