Searched refs:dump2 (Results 1 – 1 of 1) sorted by relevance
44 dump2=$(find $newdir -name $name)45 if [ -z "$dump2" ] || [ ! -e "$dump2" ]; then50 abidiff $ABIDIFF_OPTIONS $dump $dump2 || {52 echo "Error: ABI issue reported for 'abidiff $ABIDIFF_OPTIONS $dump $dump2'" >&2