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

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dcomponents115 FULL_NAME=""
118 [ -z "$FULL_NAME" -a "$BASE_NAME" = "$(basename "$X")" ] && FULL_NAME="$X"
120 if [ -z "$FULL_NAME" ]; then
122 elif [ -d "$FULL_NAME" ]; then
123 echo "Skipping existing component \"$FULL_NAME\""
125 if [ ! -e "${FULL_NAME}.tar.gz" ]; then
129 mkdir -p "$(dirname "$FULL_NAME")"
130 curl --fail --silent "$REMOTE" > "${FULL_NAME}.tar.gz" || \
132 if perl -e "exit((stat('${FULL_NAME}
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dcomponents115 FULL_NAME=""
118 [ -z "$FULL_NAME" -a "$BASE_NAME" = "$(basename "$X")" ] && FULL_NAME="$X"
120 if [ -z "$FULL_NAME" ]; then
122 elif [ -d "$FULL_NAME" ]; then
123 echo "Skipping existing component \"$FULL_NAME\""
125 if [ ! -e "${FULL_NAME}.tar.gz" ]; then
129 mkdir -p "$(dirname "$FULL_NAME")"
130 curl --fail --silent "$REMOTE" > "${FULL_NAME}.tar.gz" || \
132 if perl -e "exit((stat('${FULL_NAME}
[all...]

Completed in 91 milliseconds