Searched refs:refdir (Results 1 – 2 of 2) sorted by relevance
10 refdir=$115 if [ ! -d $refdir ]; then16 echo "Error: reference directory '$refdir' does not exist."19 incdir=$(find $refdir -type d -a -name include)21 echo "WARNING: could not identify a include directory for $refdir, expect false positives..."38 for dump in $(find $refdir -name "*.dump"); do
690 devtools/check-abi.sh <refdir> <newdir>692 Where <refdir> specifies the directory housing the reference build of DPDK,