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

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in157 EGREP = @EGREP@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in217 EGREP = @EGREP@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in345 EGREP = @EGREP@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in239 EGREP = @EGREP@
/seL4-l4v-master/HOL4/polyml/
H A Dltmain.sh314 : ${EGREP="$GREP -E"}
4638 eval '$EGREP -v " ($exclude_expsyms)$" "$nlist" > "$nlist"T'
4645 eval '$EGREP -e "$export_symbols_regex" "$nlist" > "$nlist"T'
4735 $EGREP -v " ($exclude_expsyms)$" "$nlist" > "$nlist"T
4897 func_cygming_gnu_implib_tmp=`$NM "$func_to_tool_file_result" | eval "$global_symbol_pipe" | $EGREP ' (_head_[A-Za-z0-9_]+_[ad]l*|[A-Za-z0-9_]+_[ad]l*_iname)$'`
4934 $EGREP 'file format (pei*-i386(.*architecture: i386)?|pe-arm-wince|pe-x86-64)' >/dev/null; then
7782 | $EGREP "$match_pattern_regex" > /dev/null; then
9056 if $ECHO "$p" | $EGREP -e "$precious_files_regex" >/dev/null 2>&1
9330 $EGREP "$file_magic_regex" > /dev/null; then
9384 $EGREP "
[all...]
H A DMakefile.in330 EGREP = @EGREP@
H A Dconfigure717 EGREP
4886 if test -z "$EGREP"; then
4911 $as_echo 'EGREP' >> "conftest.nl"
4912 "$ac_path_EGREP" 'EGREP$' < "conftest.nl" >"conftest.out" 2>/dev/null || break
4935 ac_cv_path_EGREP=$EGREP
4942 EGREP="$ac_cv_path_EGREP"
4980 $EGREP "memchr" >/dev/null 2>&1; then :
4997 $EGREP "free" >/dev/null 2>&1; then :
9038 $EGREP "$file_magic_regex" > /dev/null; then
9104 $EGREP "
[all...]

Completed in 82 milliseconds