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

/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dcomponents_checksum69 CHECKSUM_FILE="$CHECKSUM_DIR/components.sha1"
77 [ -n "$UPDATE" ] && mv "$CHECKSUM_TMP" "$CHECKSUM_FILE"
79 diff "$CHECKSUM_FILE" "$CHECKSUM_TMP" || fail "Integrity error"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dcomponents_checksum69 CHECKSUM_FILE="$CHECKSUM_DIR/components.sha1"
77 [ -n "$UPDATE" ] && mv "$CHECKSUM_TMP" "$CHECKSUM_FILE"
79 diff "$CHECKSUM_FILE" "$CHECKSUM_TMP" || fail "Integrity error"

Completed in 78 milliseconds