diff --git a/scripts/check_size b/scripts/check_size index 54f02a6..8530435 100755 --- a/scripts/check_size +++ b/scripts/check_size @@ -5,7 +5,7 @@ max="$3" # extract symbol offset from file, remove leading zeros -ofs=$(nm -t d $file | grep "$symbol" | cut -d ' ' -f1 | sed "s/^[0]*//") +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" diff --git a/scripts/extract_symbol_offset b/scripts/extract_symbol_offset index 1a1260f..78b8668 100755 --- a/scripts/extract_symbol_offset +++ b/scripts/extract_symbol_offset @@ -4,7 +4,7 @@ file="$2" # extract symbol offset from file, remove leading zeros -ofs=$(nm -t d $file | grep "$symbol" | cut -d ' ' -f1 | sed "s/^[0]*//") +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"