Searched refs:CHECK_ABI (Results 1 – 1 of 1) sorted by relevance
405 local CHECK_ABI=$2412 if [ "$ABI" != "default" -a "$CHECK_ABI" = "yes" ] ; then