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

/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dcomponents_checksum70 CHECKSUM_TMP="$CHECKSUM_DIR/components.sha1.tmp"
74 sha1sum *.tar.gz | sort -k2 -f > "$CHECKSUM_TMP"
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_checksum70 CHECKSUM_TMP="$CHECKSUM_DIR/components.sha1.tmp"
74 sha1sum *.tar.gz | sort -k2 -f > "$CHECKSUM_TMP"
77 [ -n "$UPDATE" ] && mv "$CHECKSUM_TMP" "$CHECKSUM_FILE"
79 diff "$CHECKSUM_FILE" "$CHECKSUM_TMP" || fail "Integrity error"

Completed in 36 milliseconds