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

/seL4-l4v-master/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'
1683 $as_echo_n "checking whether $as_decl_name is declared... " >&6; }
1685 $as_echo_n "(cached) " >&6
1806 $as_echo_n "checking for $2... " >&6; }
1808 $as_echo_n "(cached) " >&6
1882 $as_echo_n "checking for $2... " >&6; }
1884 $as_echo_n "(cache
[all...]

Completed in 87 milliseconds