1 #!/bin/sh 1 #!/bin/sh
2 objdump="$1" 2 objdump="$1"
3 file="$2" 3 file="$2"
4 $objdump -t "$file" | grep '*UUND*' | grep -v 4 $objdump -t "$file" | grep '*UUND*' | grep -v '#scratch' > /dev/null 2>&1
5 if [ $? -eq 1 ]; then 5 if [ $? -eq 1 ]; then
6 exit 0 6 exit 0
7 else 7 else
8 echo "$file: undefined symbols found" >&2 8 echo "$file: undefined symbols found" >&2
9 exit 1 9 exit 1
10 fi 10 fi
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.