Searched refs:ignorefile (Results 1 – 1 of 1) sorted by relevance
401 for ignorefile in ${LINTER_IGNORE["$op"]//;/ } ; do402 if [ -e "$ignorefile" ]; then403 LOCAL_IGNORE+=("$ignorefile")