Searched refs:skip_linux (Results 1 – 1 of 1) sorted by relevance
44 skip_linux="( -name linux ) -prune -o"55 skiplist="$skip_bsd $skip_linux $skip_arch $skip_sse $skip_avx \