Searched refs:checkdir (Results 1 – 2 of 2) sorted by relevance
95 local checkdir hash decimal97 checkdir=$1101 while [ -e "$checkdir/$hash.$decimal" ] ; do
103 MAKE_CHECK_SANDBOX_DIR= checkdir