Searched defs:SHELL (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/l4v/camkes/adl-spec/document/imgs/
H A DMakefile7 SHELL=/bin/bash macro
/seL4-l4v-master/l4v/spec/
H A DMakefile7 SHELL=bash macro
/seL4-l4v-master/l4v/spec/design/
H A DMakefile8 SHELL=bash macro
/seL4-l4v-master/seL4/manual/
H A DMakefile16 SHELL=bash macro

Completed in 86 milliseconds