blob: 2d85876ffc32519ab8a0702917fedd31293cd9da (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/sh
objdump="$1"
file="$2"
$objdump -t "$file" | grep '*UUND*' | grep -v '#scratch' > /dev/null 2>&1
if [ $? -eq 1 ]; then
exit 0
else
echo "$file: undefined symbols found" >&2
exit 1
fi
|
