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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4817 if ${ac_cv_path_GREP+:} false; then :
4836 ac_cv_path_GREP="$ac_path_GREP" ac_path_GREP_found=:;;
4851 ac_cv_path_GREP="$ac_path_GREP"
4865 if test -z "$ac_cv_path_GREP"; then
4869 ac_cv_path_GREP=$GREP
4873 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_path_GREP" >&5
4874 $as_echo "$ac_cv_path_GREP" >&6; }
4875 GREP="$ac_cv_path_GREP"

Completed in 78 milliseconds