Parent Directory
| 
Revision Log
| 
Patch
| revision 1068 by abate, Tue Jul 10 18:20:33 2007 UTC | revision 1069 by abate, Tue Jul 10 18:20:36 2007 UTC | |
|---|---|---|
| # | Line 80 | Line 80 |
| 80 | (List.assoc n vars) := v | (List.assoc n vars) := v |
| 81 | ||
| 82 | let () = | let () = |
| 83 | print_endline "Configuring CDuce for compilation...\n"; | |
| 84 | try for i = 1 to Array.length Sys.argv - 1 do parse_arg Sys.argv.(i) done | try for i = 1 to Array.length Sys.argv - 1 do parse_arg Sys.argv.(i) done |
| 85 | with Not_found -> usage (); fatal "Incorrect command line" | with Not_found -> usage (); fatal "Incorrect command line" |
| 86 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |