| changeset 74038 | b4f57bfe82e7 |
| parent 74017 | b4e6b82fdb9e |
| child 74499 | 059743bc8311 |
--- a/lib/Tools/components Sat Jul 17 23:09:54 2021 +0200 +++ b/lib/Tools/components Sun Jul 18 12:48:31 2021 +0200 @@ -127,7 +127,7 @@ echo "Missing components:" for NAME in "${MISSING_COMPONENTS[@]}"; do echo " $NAME"; done elif [ "${#UPDATE_COMPONENTS[@]}" -ne 0 ]; then - isabelle_scala_build || exit $? + isabelle scala_build || exit $? exec isabelle java isabelle.Components "${UPDATE_COMPONENTS[@]}" else for NAME in "${SELECTED_COMPONENTS[@]}"