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

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dcomponents114 BASE_NAME="$(basename "$NAME")"
118 [ -z "$FULL_NAME" -a "$BASE_NAME" = "$(basename "$X")" ] && FULL_NAME="$X"
126 REMOTE="$COMPONENT_REPOSITORY/${BASE_NAME}.tar.gz"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dcomponents114 BASE_NAME="$(basename "$NAME")"
118 [ -z "$FULL_NAME" -a "$BASE_NAME" = "$(basename "$X")" ] && FULL_NAME="$X"
126 REMOTE="$COMPONENT_REPOSITORY/${BASE_NAME}.tar.gz"

Completed in 26 milliseconds