Admin/build_release
author haftmann
Sun, 27 Jul 2025 17:52:06 +0200
changeset 82909 e4fae2227594
parent 74038 b4f57bfe82e7
permissions -rwxr-xr-x
added missing colon

#!/usr/bin/env bash
#
# DESCRIPTION: build full Isabelle distribution from repository

unset CDPATH
THIS="$(cd "$(dirname "$0")"; pwd)"

"$THIS/../bin/isabelle" scala_build -q || exit $?
"$THIS/../bin/isabelle_java" isabelle.Build_Release "$@"