Admin/build_history
changeset 74038 b4f57bfe82e7
parent 74017 b4e6b82fdb9e
--- a/Admin/build_history	Sat Jul 17 23:09:54 2021 +0200
+++ b/Admin/build_history	Sun Jul 18 12:48:31 2021 +0200
@@ -5,5 +5,5 @@
 unset CDPATH
 THIS="$(cd "$(dirname "$0")"; pwd)"
 
-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 "$@"
+"$THIS/../bin/isabelle" scala_build -q || exit $?
+"$THIS/../bin/isabelle_java" isabelle.Build_History "$@"