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

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dcomponents45 LIST_ONLY=""
60 LIST_ONLY="true"
73 [ "$#" -eq 0 -a -z "$INIT_SETTINGS" -a -z "$ALL_MISSING" -a -z "$LIST_ONLY" ] && usage
104 elif [ -n "$LIST_ONLY" ]; then
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dcomponents45 LIST_ONLY=""
60 LIST_ONLY="true"
73 [ "$#" -eq 0 -a -z "$INIT_SETTINGS" -a -z "$ALL_MISSING" -a -z "$LIST_ONLY" ] && usage
104 elif [ -n "$LIST_ONLY" ]; then

Completed in 17 milliseconds