Searched refs:comp_filter (Results 1 – 1 of 1) sorted by relevance
45 comp_filter=""76 comp_filter="$2"241 if [[ "x$comp_filter" != "x" ]] && [[ "$compilation_was" != "$comp_filter" ]]; then242 echo "Current compilation filter is '$compilation_was'; force recompile to '$comp_filter'" >&2245 force_package_compilation "$comp_filter" "$package"