equal
deleted
inserted
replaced
125 for NAME in "${AVAILABLE_COMPONENTS[@]}"; do echo " $NAME"; done |
125 for NAME in "${AVAILABLE_COMPONENTS[@]}"; do echo " $NAME"; done |
126 echo |
126 echo |
127 echo "Missing components:" |
127 echo "Missing components:" |
128 for NAME in "${MISSING_COMPONENTS[@]}"; do echo " $NAME"; done |
128 for NAME in "${MISSING_COMPONENTS[@]}"; do echo " $NAME"; done |
129 elif [ "${#UPDATE_COMPONENTS[@]}" -ne 0 ]; then |
129 elif [ "${#UPDATE_COMPONENTS[@]}" -ne 0 ]; then |
130 isabelle_admin_build jars || exit $? |
130 isabelle_scala_build || exit $? |
131 exec isabelle java isabelle.Components "${UPDATE_COMPONENTS[@]}" |
131 exec isabelle java isabelle.Components "${UPDATE_COMPONENTS[@]}" |
132 else |
132 else |
133 for NAME in "${SELECTED_COMPONENTS[@]}" |
133 for NAME in "${SELECTED_COMPONENTS[@]}" |
134 do |
134 do |
135 BASE_NAME="$(basename "$NAME")" |
135 BASE_NAME="$(basename "$NAME")" |