src/Pure/Tools/check_sources.scala
changeset 62834 970cedec9748
parent 62814 29ca4cdd998d
child 63997 e11ccb5aa82f
--- 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))
-    }
-  }
+    })
 }