Searched refs:incdir (Results 1 – 1 of 1) sorted by relevance
19 incdir=$(find $refdir -type d -a -name include)20 if [ -z "$incdir" ] || [ ! -e "$incdir" ]; then23 ABIDIFF_OPTIONS="$ABIDIFF_OPTIONS --headers-dir1 $incdir"