[r2004-04-20 22:29:22 by afrisch] cosmetique

Original author: afrisch
Date: 2004-04-20 22:29:22+00:00

configure.ml

@@ -80,6 +80,7 @@ let parse_arg s =
     (List.assoc n vars) := v
 
 let () =
+  print_endline "Configuring CDuce for compilation...\n";
   try for i = 1 to Array.length Sys.argv - 1 do parse_arg Sys.argv.(i) done
   with Not_found -> usage (); fatal "Incorrect command line"