From 0afd42c06451194ce1849abf57bf56fe7ec6ae88 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 13 May 2005 11:08:33 +0000 Subject: [PATCH] added "all" table meaning "act on all tables" --- helm/ocaml/metadata/table_creator/table_creator.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/metadata/table_creator/table_creator.ml b/helm/ocaml/metadata/table_creator/table_creator.ml index 6cd9da9bf..6384d5408 100644 --- a/helm/ocaml/metadata/table_creator/table_creator.ml +++ b/helm/ocaml/metadata/table_creator/table_creator.ml @@ -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)); -- 2.39.2