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

/seL4-l4v-10.1.1/isabelle/src/Pure/
H A Dbuild-jars245 TARGET_DIR="$ISABELLE_HOME/lib/classes"
246 TARGET="$TARGET_DIR/Pure.jar"
294 mkdir -p "$TARGET_DIR" || fail "Failed to create directory $TARGET_DIR"
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/
H A Dbuild-jars245 TARGET_DIR="$ISABELLE_HOME/lib/classes"
246 TARGET="$TARGET_DIR/Pure.jar"
294 mkdir -p "$TARGET_DIR" || fail "Failed to create directory $TARGET_DIR"

Completed in 34 milliseconds