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

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dbrowser73 PRIVATE_FILE="${ISABELLE_TMP:-${TMPDIR:-/tmp}}/$$"$(basename "$GRAPHFILE")
75 mv -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPHFILE"
77 cp -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPHFILE"
89 isabelle java GraphBrowser.GraphBrowser "$(platform_path "$PRIVATE_FILE")"
91 isabelle java GraphBrowser.Console "$(platform_path "$PRIVATE_FILE")" "$(platform_path "$OUTFILE")"
102 rm -f "$PRIVATE_FILE"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dbrowser73 PRIVATE_FILE="${ISABELLE_TMP:-${TMPDIR:-/tmp}}/$$"$(basename "$GRAPHFILE")
75 mv -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPHFILE"
77 cp -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPHFILE"
89 isabelle java GraphBrowser.GraphBrowser "$(platform_path "$PRIVATE_FILE")"
91 isabelle java GraphBrowser.Console "$(platform_path "$PRIVATE_FILE")" "$(platform_path "$OUTFILE")"
102 rm -f "$PRIVATE_FILE"

Completed in 64 milliseconds