Searched refs:REMOTE (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dcomponents126 REMOTE="$COMPONENT_REPOSITORY/${BASE_NAME}.tar.gz"
128 echo "Getting \"$REMOTE\""
130 curl --fail --silent "$REMOTE" > "${FULL_NAME}.tar.gz" || \
131 fail "Failed to download \"$REMOTE\""
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dcomponents126 REMOTE="$COMPONENT_REPOSITORY/${BASE_NAME}.tar.gz"
128 echo "Getting \"$REMOTE\""
130 curl --fail --silent "$REMOTE" > "${FULL_NAME}.tar.gz" || \
131 fail "Failed to download \"$REMOTE\""
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle116 REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz"
117 echo " downloading $REMOTE"
118 curl --fail --silent "$REMOTE" > "$CONTRIB" || \
119 fail "Failed to download \"$REMOTE\""
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle116 REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz"
117 echo " downloading $REMOTE"
118 curl --fail --silent "$REMOTE" > "$CONTRIB" || \
119 fail "Failed to download \"$REMOTE\""

Completed in 87 milliseconds