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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4880 if ${ac_cv_path_EGREP+:} false; then :
4884 then ac_cv_path_EGREP="$GREP -E"
4902 ac_cv_path_EGREP="$ac_path_EGREP" ac_path_EGREP_found=:;;
4917 ac_cv_path_EGREP="$ac_path_EGREP"
4931 if test -z "$ac_cv_path_EGREP"; then
4935 ac_cv_path_EGREP=$EGREP
4940 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_path_EGREP" >&5
4941 $as_echo "$ac_cv_path_EGREP" >&6; }
4942 EGREP="$ac_cv_path_EGREP"

Completed in 60 milliseconds