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

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dbrowser36 OUTFILE=""
48 OUTFILE="$OPTARG"
81 case "$OUTFILE" in
83 OUTFILE="${OUTFILE%%.pdf}.eps"
88 if [ -z "$OUTFILE" ]; then
91 isabelle java GraphBrowser.Console "$(platform_path "$PRIVATE_FILE")" "$(platform_path "$OUTFILE")"
97 cd "$(dirname "$OUTFILE")"
98 "$ISABELLE_EPSTOPDF" "$(basename "$OUTFILE")" || fail "Failed to produce pdf output"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dbrowser36 OUTFILE=""
48 OUTFILE="$OPTARG"
81 case "$OUTFILE" in
83 OUTFILE="${OUTFILE%%.pdf}.eps"
88 if [ -z "$OUTFILE" ]; then
91 isabelle java GraphBrowser.Console "$(platform_path "$PRIVATE_FILE")" "$(platform_path "$OUTFILE")"
97 cd "$(dirname "$OUTFILE")"
98 "$ISABELLE_EPSTOPDF" "$(basename "$OUTFILE")" || fail "Failed to produce pdf output"

Completed in 29 milliseconds