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

/seL4-l4v-10.1.1/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"
1273 $as_echo "$as_me: WARNING: you should use --build, --host, --target" >&2
1275 $as_echo "$as_me
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
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"
1313 $as_echo "$as_me: WARNING: you should use --build, --host, --target" >&2
1315 $as_echo "$as_me
[all...]

Completed in 55 milliseconds