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

/seL4-l4v-10.1.1/isabelle/bin/
H A Disabelle_java38 while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
43 ISABELLE_ROOT="$REPLY"
47 CYGWIN_ROOT="$REPLY"
51 JAVA_HOME="$REPLY"
55 ISABELLE_CLASSPATH="$REPLY"
58 JAVA_ARGS["${#JAVA_ARGS[@]}"]="$REPLY"
/seL4-l4v-10.1.1/l4v/isabelle/bin/
H A Disabelle_java38 while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
43 ISABELLE_ROOT="$REPLY"
47 CYGWIN_ROOT="$REPLY"
51 JAVA_HOME="$REPLY"
55 ISABELLE_CLASSPATH="$REPLY"
58 JAVA_ARGS["${#JAVA_ARGS[@]}"]="$REPLY"
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle102 while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
104 case "$REPLY" in
107 COMPONENT="$REPLY"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle102 while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
104 case "$REPLY" in
107 COMPONENT="$REPLY"

Completed in 99 milliseconds