--- a/src/Pure/Tools/check_sources.scala Sun Apr 03 22:42:15 2016 +0200
+++ b/src/Pure/Tools/check_sources.scala Sun Apr 03 22:45:40 2016 +0200
@@ -52,11 +52,11 @@
}
- /* command line entry point */
+ /* Isabelle tool wrapper */
- def main(args: Array[String])
- {
- Command_Line.tool0 {
+ val isabelle_tool =
+ Isabelle_Tool("check_sources", "some sanity checks for Isabelle sources", args =>
+ {
val getopts = Getopts("""
Usage: isabelle check_sources [ROOT_DIRS...]
@@ -67,6 +67,5 @@
if (specs.isEmpty) getopts.usage()
for (root <- specs) check_hg(Path.explode(root))
- }
- }
+ })
}