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

/seL4-l4v-master/l4v/camkes/adl-spec/document/imgs/
H A DMakefile7 SHELL=/bin/bash macro
/seL4-l4v-master/l4v/spec/design/
H A DMakefile8 SHELL=bash macro
/seL4-l4v-master/l4v/spec/
H A DMakefile7 SHELL=bash macro
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in202 SHELL = @SHELL@
287 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
288 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in158 depcomp = $(SHELL) $(top_srcdir)/depcomp
284 SHELL = @SHELL@
375 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
376 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in184 depcomp = $(SHELL) $(top_srcdir)/depcomp
375 SHELL = @SHELL@
507 echo ' $(SHELL) ./config.status'; \
508 $(SHELL) ./config.status;; \
510 echo ' cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__maybe_remake_depfiles)'; \
511 cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__maybe_remake_depfiles);; \
515 $(SHELL) ./config.status --recheck
529 cd $(top_builddir) && $(SHELL) ./config.status config.h
538 cd $(top_builddir) && $(SHELL)
[all...]
H A Dconfigure241 $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}
809 SHELL
1607 $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1610 $SHELL "
[all...]
H A Dltmain.sh321 : ${SHELL="${CONFIG_SHELL-/bin/sh}"}
2067 shell: $SHELL
4094 if test "$SHELL" = "$nonopt" || test /bin/sh = "$nonopt" ||
4552 exec_cmd='$SHELL "$progpath" $preserve_args --finish$current_libdirs'
5216 #! $SHELL
10764 relink_command="(cd `pwd`; $SHELL \"$progpath\" $preserve_args --mode=relink $libtool_args @inst_prefix_dir@)"
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in262 SHELL = @SHELL@
348 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
349 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in206 depcomp = $(SHELL) $(top_srcdir)/depcomp
390 SHELL = @SHELL@
597 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
598 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
610 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@
/seL4-l4v-master/seL4/manual/
H A DMakefile16 SHELL=bash macro

Completed in 105 milliseconds