Searched refs:CYGWIN_ROOT (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/bin/
H A Disabelle_java26 echo "$CYGWIN_ROOT"
33 export CYGWIN_ROOT=""
47 CYGWIN_ROOT="$REPLY"
/seL4-l4v-10.1.1/l4v/isabelle/bin/
H A Disabelle_java26 echo "$CYGWIN_ROOT"
33 export CYGWIN_ROOT=""
47 CYGWIN_ROOT="$REPLY"

Completed in 79 milliseconds