diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/relink-lib.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/relink-lib.sh b/scripts/relink-lib.sh new file mode 100755 index 0000000..5367b70 --- /dev/null +++ b/scripts/relink-lib.sh @@ -0,0 +1,14 @@ +#!/bin/sh +[ $# -lt 4 -o -z "$1" -o -z "$2" -o -z "$3" -o -z "$4" ] && { + echo "Usage: $0 <cross> <reference> <pic .a> <destination>" + exit 1 +} + +cross="$1"; shift +ref="$1"; shift +pic="$1"; shift +dest="$1"; shift + +SYMBOLS="$(${cross}nm "$ref" | grep -E '........ [TW] ' | awk '$3 {printf "-u%s ", $3}')" +set -x +${cross}gcc -nostdlib -nostartfiles -shared -Wl,--gc-sections -o "$dest" $SYMBOLS "$pic" "$@" |