separate_debug.sh 204 B

12345678
  1. #!/usr/bin/env bash
  2. set -e
  3. OUTPUT_BASENAME=$(basename "$2")
  4. objcopy --only-keep-debug "$1" "$OUTPUT_BASENAME"
  5. strip "$1"
  6. objcopy --add-gnu-debuglink="$OUTPUT_BASENAME" "$1"
  7. mv -f "$OUTPUT_BASENAME" "$2"