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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure92 as_myself=
94 *[\\/]* ) as_myself=$0 ;;
100 test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
108 if test "x$as_myself" = x; then
109 as_myself=$0
111 if test ! -f "$as_myself"; then
112 $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
154 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
263 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
484 ' <$as_myself |
[all...]

Completed in 36 milliseconds