| changeset 64500 | 159ea1055b39 |
| parent 64499 | 11d1b4e3af1d |
| child 64501 | 234571db1b90 |
--- a/Admin/build_polyml Fri Nov 11 21:26:14 2016 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,8 +0,0 @@ -#!/usr/bin/env bash -# -# DESCRIPTION: build Poly/ML from sources - -THIS="$(cd "$(dirname "$0")"; pwd)" - -"$THIS/build" jars || exit $? -exec "$THIS/../bin/isabelle_java" isabelle.Build_PolyML "$@"