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

/seL4-l4v-master/isabelle/src/HOL/Mirabelle/lib/Tools/
H A Dmirabelle24 [ -n "$MIRABELLE_OUTPUT_PATH" ] && out="$MIRABELLE_OUTPUT_PATH" || out="None"
81 MIRABELLE_OUTPUT_PATH="$OPTARG"
114 if [ -z "$MIRABELLE_OUTPUT_PATH" ]; then
115 MIRABELLE_OUTPUT_PATH="${ISABELLE_TMP_PREFIX}-mirabelle$$"
119 mkdir -p "$MIRABELLE_OUTPUT_PATH"
121 export MIRABELLE_OUTPUT_PATH
135 rm -rf "$MIRABELLE_OUTPUT_PATH"
/seL4-l4v-master/l4v/isabelle/src/HOL/Mirabelle/lib/Tools/
H A Dmirabelle24 [ -n "$MIRABELLE_OUTPUT_PATH" ] && out="$MIRABELLE_OUTPUT_PATH" || out="None"
81 MIRABELLE_OUTPUT_PATH="$OPTARG"
114 if [ -z "$MIRABELLE_OUTPUT_PATH" ]; then
115 MIRABELLE_OUTPUT_PATH="${ISABELLE_TMP_PREFIX}-mirabelle$$"
119 mkdir -p "$MIRABELLE_OUTPUT_PATH"
121 export MIRABELLE_OUTPUT_PATH
135 rm -rf "$MIRABELLE_OUTPUT_PATH"

Completed in 13 milliseconds