Admin/build_release

added support for repote Alt-Ergo

+
−#!/usr/bin/env bash
+
−#
+
−# DESCRIPTION: build full Isabelle distribution from repository
+
−
+
−THIS="$(cd "$(dirname "$0")"; pwd)"
+
−
+
−"$THIS/build" jars || exit $?
+
−exec "$THIS/../bin/isabelle_java" isabelle.Build_Release "$@"