Searched refs:incdir2 (Results 1 – 1 of 1) sorted by relevance
30 incdir2=$(find $newdir -type d -a -name include)31 if [ -z "$incdir2" ] || [ ! -e "$incdir2" ]; then34 ABIDIFF_OPTIONS="$ABIDIFF_OPTIONS --headers-dir2 $incdir2"