Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/configure

241 $as_found || { if { test -f "$SHELL" || test -f "$SHELL.exe"; } &&
242 	      { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$SHELL"; } 2>/dev/null; then :
243   CONFIG_SHELL=$SHELL as_have_required=yes
287 SHELL=${CONFIG_SHELL-/bin/sh}
288 export SHELL
567 SHELL=${CONFIG_SHELL-/bin/sh}
814 SHELL'
1616       $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1619       $SHELL "$ac_srcdir/configure" --help=recursive
2964 ac_config_guess="$SHELL $ac_aux_dir/config.guess"  # Please don't use this var.
2965 ac_config_sub="$SHELL $ac_aux_dir/config.sub"  # Please don't use this var.
2966 ac_configure="$SHELL $ac_aux_dir/configure"  # Please don't use this var.
3145     MISSING="\${SHELL} \"$am_aux_dir/missing\"" ;;
3147     MISSING="\${SHELL} $am_aux_dir/missing" ;;
3150 # Use eval to expand $SHELL
3162     install_sh="\${SHELL} '$am_aux_dir/install-sh'" ;;
3164     install_sh="\${SHELL} $am_aux_dir/install-sh"
3360 SHELL = /bin/sh
3573 $SHELL "$ac_aux_dir/config.sub" sun4 >/dev/null 2>&1 ||
3574   as_fn_error $? "cannot run $SHELL $ac_aux_dir/config.sub" "$LINENO" 5
3583   ac_build_alias=`$SHELL "$ac_aux_dir/config.guess"`
3586 ac_cv_build=`$SHELL "$ac_aux_dir/config.sub" $ac_build_alias` ||
3587   as_fn_error $? "$SHELL $ac_aux_dir/config.sub $ac_build_alias failed" "$LINENO" 5
3618   ac_cv_host=`$SHELL "$ac_aux_dir/config.sub" $host_alias` ||
3619     as_fn_error $? "$SHELL $ac_aux_dir/config.sub $host_alias failed" "$LINENO" 5
4893        $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
5671       SHELL=${SHELL-${CONFIG_SHELL-/bin/sh}}
9027 LIBTOOL='$(SHELL) $(top_builddir)/libtool'
11756       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
11764     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
11833       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
11837     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
12210     dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; $ECHO \$dlname'\''`~
12218   postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; $ECHO \$dlname'\''`~
13522        $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
16184       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
16192     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
16260       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
16264     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
16636     dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; $ECHO \$dlname'\''`~
16644   postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; $ECHO \$dlname'\''`~
17585        $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
17636 SHELL = /bin/sh
17887        $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
22720 #! $SHELL
22730 SHELL=\${CONFIG_SHELL-$SHELL}
22731 export SHELL
23269   set X $SHELL '$0' $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
23271   \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
23272   CONFIG_SHELL='$SHELL'
23313 SHELL='`$ECHO "$SHELL" | $SED "$delay_single_quote_subst"`'
23510 SHELL \
24399 #! $SHELL
24466 SHELL=$lt_SHELL
25128   $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
25268       { $as_echo "$as_me:${as_lineno-$LINENO}: running $SHELL $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_srcdir" >&5
25269 $as_echo "$as_me: running $SHELL $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_srcdir" >&6;}
25271       eval "\$SHELL \"\$ac_sub_configure\" $ac_sub_configure_args \