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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure48 as_echo_n='print -rn --'
51 as_echo_n='printf %s'
55 as_echo_n='/usr/ucb/echo -n'
68 as_echo_n='sh -c $as_echo_n_body as_echo'
1736 $as_echo_n "checking for $2... " >&6; }
1738 $as_echo_n "(cached) " >&6
1845 $as_echo_n "checking for $2... " >&6; }
1847 $as_echo_n "(cached) " >&6
2034 $as_echo_n "checking for $2... " >&6; }
2036 $as_echo_n "(cache
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure48 as_echo_n='print -rn --'
51 as_echo_n='printf %s'
55 as_echo_n='/usr/ucb/echo -n'
68 as_echo_n='sh -c $as_echo_n_body as_echo'
1798 $as_echo_n "checking for $2... " >&6; }
1800 $as_echo_n "(cached) " >&6
1907 $as_echo_n "checking for $2... " >&6; }
1909 $as_echo_n "(cached) " >&6
2243 $as_echo_n "checking for $2... " >&6; }
2245 $as_echo_n "(cache
[all...]

Completed in 37 milliseconds