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

/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dc-parser22 for EXE in */c-parser; do
23 ARCHES="$ARCHES ${EXE%/c-parser}"
41 EXE="$DIR/$ARCH/c-parser"
43 if [ ! -x "$EXE" ]; then
48 exec "$EXE" "$@"
H A Dtokenizer22 for EXE in */tokenizer; do
23 ARCHES="$ARCHES ${EXE%/tokenizer}"
41 EXE="$DIR/$ARCH/tokenizer"
43 if [ ! -x "$EXE" ]; then
48 exec "$EXE" "$@"
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dltmain.sh200 for _exeext in '' .EXE; do
2472 magic_exe='%%%MAGIC EXE variable%%%'
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dltmain.sh200 for _exeext in '' .EXE; do
2472 magic_exe='%%%MAGIC EXE variable%%%'

Completed in 94 milliseconds