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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4896 ac_path_EGREP="$as_dir/$ac_prog$ac_exec_ext"
4897 as_fn_executable_p "$ac_path_EGREP" || continue
4898 # Check for GNU ac_path_EGREP and select it if it is found.
4899 # Check for GNU $ac_path_EGREP
4900 case `"$ac_path_EGREP" --version 2>&1` in
4902 ac_cv_path_EGREP="$ac_path_EGREP" ac_path_EGREP_found=:;;
4912 "$ac_path_EGREP" 'EGREP$' < "conftest.nl" >"conftest.out" 2>/dev/null || break
4917 ac_cv_path_EGREP="$ac_path_EGREP"

Completed in 65 milliseconds