Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/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}
869 SHELL'
1640       $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1643       $SHELL "$ac_srcdir/configure" --help=recursive
2756 ac_config_guess="$SHELL $ac_aux_dir/config.guess"  # Please don't use this var.
2757 ac_config_sub="$SHELL $ac_aux_dir/config.sub"  # Please don't use this var.
2758 ac_configure="$SHELL $ac_aux_dir/configure"  # Please don't use this var.
2762 $SHELL "$ac_aux_dir/config.sub" sun4 >/dev/null 2>&1 ||
2763   as_fn_error $? "cannot run $SHELL $ac_aux_dir/config.sub" "$LINENO" 5
2772   ac_build_alias=`$SHELL "$ac_aux_dir/config.guess"`
2775 ac_cv_build=`$SHELL "$ac_aux_dir/config.sub" $ac_build_alias` ||
2776   as_fn_error $? "$SHELL $ac_aux_dir/config.sub $ac_build_alias failed" "$LINENO" 5
2807   ac_cv_host=`$SHELL "$ac_aux_dir/config.sub" $host_alias` ||
2808     as_fn_error $? "$SHELL $ac_aux_dir/config.sub $host_alias failed" "$LINENO" 5
2840   ac_cv_target=`$SHELL "$ac_aux_dir/config.sub" $target_alias` ||
2841     as_fn_error $? "$SHELL $ac_aux_dir/config.sub $target_alias failed" "$LINENO" 5
2929       { $as_echo "$as_me:${as_lineno-$LINENO}: result: ....exec $SHELL $srcdir/$0 \"--srcdir=$srcdir\" \"--enable-builddir=$ax_enable_builddir\" ${1+\"$@\"}" >&5
2930 $as_echo "....exec $SHELL $srcdir/$0 \"--srcdir=$srcdir\" \"--enable-builddir=$ax_enable_builddir\" ${1+\"$@\"}" >&6; }
2933          eval $SHELL "'$0'" "'--srcdir=$srcdir'" "'--enable-builddir=$ax_enable_builddir'" $ac_configure_args ;;
2934        *) eval $SHELL "'$srcdir/$0'" "'--srcdir=$srcdir'" "'--enable-builddir=$ax_enable_builddir'" $ac_configure_args ;;
3160     MISSING="\${SHELL} \"$am_aux_dir/missing\"" ;;
3162     MISSING="\${SHELL} $am_aux_dir/missing" ;;
3165 # Use eval to expand $SHELL
3177     install_sh="\${SHELL} '$am_aux_dir/install-sh'" ;;
3179     install_sh="\${SHELL} $am_aux_dir/install-sh"
3375 SHELL = /bin/sh
4568        $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
4953        $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
5092        $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
5965       SHELL=${SHELL-${CONFIG_SHELL-/bin/sh}}
9040 LIBTOOL='$(SHELL) $(top_builddir)/libtool'
11769       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
11777     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
11846       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
11850     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
12223     dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; $ECHO \$dlname'\''`~
12231   postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; $ECHO \$dlname'\''`~
15748       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
15756     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
15824       dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; echo \$dlname'\''`~
15828     postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; echo \$dlname'\''`~
16200     dlpath=`$SHELL 2>&1 -c '\''. $dir/'\''\$base_file'\''i; $ECHO \$dlname'\''`~
16208   postuninstall_cmds='dldll=`$SHELL 2>&1 -c '\''. $file; $ECHO \$dlname'\''`~
19703 #! $SHELL
19713 SHELL=\${CONFIG_SHELL-$SHELL}
19714 export SHELL
20256   set X $SHELL '$0' $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
20258   \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
20259   CONFIG_SHELL='$SHELL'
20305 SHELL='`$ECHO "$SHELL" | $SED "$delay_single_quote_subst"`'
20501 for var in SHELL \
21570 #! $SHELL
21628 SHELL=$lt_SHELL
22298   $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false