Searched refs:ac_path_GREP (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4830 ac_path_GREP="$as_dir/$ac_prog$ac_exec_ext"
4831 as_fn_executable_p "$ac_path_GREP" || continue
4832 # Check for GNU ac_path_GREP and select it if it is found.
4833 # Check for GNU $ac_path_GREP
4834 case `"$ac_path_GREP" --version 2>&1` in
4836 ac_cv_path_GREP="$ac_path_GREP" ac_path_GREP_found=:;;
4846 "$ac_path_GREP" -e 'GREP$' -e '-(cannot match)-' < "conftest.nl" >"conftest.out" 2>/dev/null || break
4851 ac_cv_path_GREP="$ac_path_GREP"

Completed in 58 milliseconds