| changeset 74017 | b4e6b82fdb9e |
| parent 73705 | ac07f6be27ea |
| child 74038 | b4f57bfe82e7 |
--- a/Admin/build_release Fri Jul 16 12:59:10 2021 +0200 +++ b/Admin/build_release Fri Jul 16 13:18:54 2021 +0200 @@ -5,5 +5,5 @@ unset CDPATH THIS="$(cd "$(dirname "$0")"; pwd)" -"$THIS/build" jars || exit $? +env ISABELLE_SETUP_CLASSPATH_SKIP=true "$THIS/../bin/isabelle" java isabelle.setup.Setup build > /dev/null || exit $? exec "$THIS/../bin/isabelle_java" isabelle.Build_Release "$@"