]> matita.cs.unibo.it Git - helm.git/commitdiff
added "all" table meaning "act on all tables"
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 11:08:33 +0000 (11:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 11:08:33 +0000 (11:08 +0000)
helm/ocaml/metadata/table_creator/table_creator.ml

index 6cd9da9bf04c9bb1dab65f668aeaa776aaadb296..6384d540800bd1763f8f6f4c39fc41a4a3f71398 100644 (file)
@@ -9,7 +9,8 @@ let map =
 
 let usage argv_o =
   prerr_string "\nusage:";
-  prerr_string ("\t" ^ argv_o ^ " [-index] tablename[=rename]\n\n");
+  prerr_string ("\t" ^ argv_o ^ " [-index] tablename[=rename]\n");
+  prerr_string ("\t" ^ argv_o ^ " [-index] all\n\n");
   prerr_string "known tables:";
   List.iter (fun (n,_) -> prerr_string (" " ^ n)) map;
   prerr_endline "\n"
@@ -48,6 +49,7 @@ let main () =
       in
       let from, index = if Sys.argv.(1) = "-index" then 2,true else 1,false in
       let todo = Array.to_list (Array.sub Sys.argv from (len - from)) in
+      let todo = match todo with ["all"] -> List.map fst map | todo -> todo in
       let todo = parse_args todo in
       let todo = List.map (fun (x,name) -> name, (List.assoc x map)) todo in
       print_endline (String.concat "\n" (tab todo));