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