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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure139 if test x"${_as_can_reexec}" != xno && test "x$CONFIG_SHELL" != x; then
154 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
157 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
162 if test "x$CONFIG_SHELL" = x; then
232 CONFIG_SHELL=$as_shell as_have_required=yes
243 CONFIG_SHELL=$SHELL as_have_required=yes
248 if test "x$CONFIG_SHELL" != x; then :
249 export CONFIG_SHELL
263 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
266 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >
[all...]

Completed in 46 milliseconds