lib/Tools/check_sources
changeset 62834 970cedec9748
parent 62833 29dfa2ed9343
child 62835 1a9ce1b13b20
equal deleted inserted replaced
62833:29dfa2ed9343 62834:970cedec9748
     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 
       
     9 isabelle java isabelle.Check_Sources "$@"