Admin/build_history
changeset 74017 b4e6b82fdb9e
parent 73705 ac07f6be27ea
child 74038 b4f57bfe82e7
--- a/Admin/build_history	Fri Jul 16 12:59:10 2021 +0200
+++ b/Admin/build_history	Fri Jul 16 13:18:54 2021 +0200
@@ -5,5 +5,5 @@
 unset CDPATH
 THIS="$(cd "$(dirname "$0")"; pwd)"
 
-"$THIS/build" jars > /dev/null || 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_History "$@"