blob: 76608eccce3555a0fd3d644afca635eb4b2484b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/usr/bin/env bash
symbol="$1"
file="$2"
max="$3"
# extract symbol offset from file, remove leading zeros
ofs=$(${CROSS_COMPILE}nm -t d $file | grep "$symbol" | cut -d ' ' -f1 | sed "s/^[0]*//")
if [ -z "${ofs}" ]; then
echo "symbol $symbol not found in $file"
exit 1
fi
if [[ $ofs -gt $max ]]; then
echo "symbol $symbol (offset $ofs) in $file exceeds maximum offset $max"
exit 1
fi
exit 0
|