lib/Tools/update_header
author wenzelm
Sun Feb 28 15:12:24 2016 +0100 (2016-02-28)
changeset 62446 5b749c31eb97
parent 58872 f0f623005324
child 62589 b5783412bfed
permissions -rwxr-xr-x
moved getopts to Scala;
wenzelm@58872
     1
#!/usr/bin/env bash
wenzelm@58872
     2
#
wenzelm@58872
     3
# Author: Makarius
wenzelm@58872
     4
#
wenzelm@58872
     5
# DESCRIPTION: replace obsolete theory header command
wenzelm@58872
     6
wenzelm@62446
     7
isabelle_admin_build jars || exit $?
wenzelm@58872
     8
wenzelm@62446
     9
"$ISABELLE_TOOL" java isabelle.Update_Header "$@"