author | wenzelm |
Sat, 02 Apr 2016 15:40:06 +0200 | |
changeset 62814 | 29ca4cdd998d |
parent 62589 | Admin/lib/Tools/check_sources@b5783412bfed |
permissions | -rwxr-xr-x |
62452 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: some sanity checks for Isabelle sources |
|
6 |
||
7 |
isabelle_admin_build jars || exit $? |
|
8 |
||
62589
b5783412bfed
prefer plain "isabelle" from PATH within Isabelle settings environment;
wenzelm
parents:
62452
diff
changeset
|
9 |
isabelle java isabelle.Check_Sources "$@" |