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

/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit_client49 CHECK_ONLY="false"
56 CHECK_ONLY="true"
86 if [ "$CHECK_ONLY" = true ]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit_client49 CHECK_ONLY="false"
56 CHECK_ONLY="true"
86 if [ "$CHECK_ONLY" = true ]

Completed in 17 milliseconds