changeset 62814 | 29ca4cdd998d |
parent 62813 | 3e001fe6f16a |
child 62815 | d0fc75798baf |
--- a/Admin/lib/Tools/check_sources Sat Apr 02 15:06:41 2016 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -#!/usr/bin/env bash -# -# Author: Makarius -# -# DESCRIPTION: some sanity checks for Isabelle sources - -isabelle_admin_build jars || exit $? - -isabelle java isabelle.Check_Sources "$@"