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

/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dcomponents_checksum68 CHECKSUM_DIR="$ISABELLE_HOME/Admin/components"
69 CHECKSUM_FILE="$CHECKSUM_DIR/components.sha1"
70 CHECKSUM_TMP="$CHECKSUM_DIR/components.sha1.tmp"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dcomponents_checksum68 CHECKSUM_DIR="$ISABELLE_HOME/Admin/components"
69 CHECKSUM_FILE="$CHECKSUM_DIR/components.sha1"
70 CHECKSUM_TMP="$CHECKSUM_DIR/components.sha1.tmp"

Completed in 149 milliseconds