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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure424 $as_echo "$as_me:${as_lineno-$LINENO}: error: $2" >&$4
426 $as_echo "$as_me: error: $2" >&2
449 as_me=`$as_basename -- "$0" ||
495 ' >$as_me.lineno &&
496 chmod +x "$as_me.lineno" ||
497 { $as_echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2; as_fn_exit 1; }
506 . "./$as_me.lineno"
1267 $as_echo "$as_me: WARNING: you should use --build, --host, --target" >&2
1269 $as_echo "$as_me
[all...]

Completed in 41 milliseconds