Phase titles are now only printed when verbosity >= 2

main.ml

@@ -42,7 +42,7 @@ let compile () =
         | [] -> ()
         | (id, phase, cond, msg) :: tl ->
             let output = if cond () then (
-                log_plain_line 1 (expand 13 ("- " ^ id ^ ":") ^ msg);
+                log_plain_line 2 (expand 13 ("- " ^ id ^ ":") ^ msg);
                 let output = phase input in
                 if id = args.endphase || args.verbose >= 2 then (
                     let _ = Print.phase output in ()
@@ -70,7 +70,7 @@ let main () =
              "<file> Output file (defaults to foo.s for foo.cvc)");
 
         ("-v", Arg.Int (fun i -> args.verbose <- i),
-             "<num>  Set verbosity (0: nothing, 1: phase titles, 2: intermediate, 3: debug)");
+             "<num>  Set verbosity (0: nothing, 1: errors, 2: intermediate, 3: debug)");
 
         ("-nocpp", Arg.Unit (fun _ -> args.cpp <- false),
                  "   Disable C preprocessor");

test/run.bash

@@ -2,7 +2,7 @@
 CIVAS=${CIVAS-../bin32/civas}
 CIVVM=${CIVVM-../bin32/civvm}
 CIVCC=${CIVCC-../civicc}
-REAL_CFLAGS=
+REAL_CFLAGS="-v 1"
 TESTSUITE_CFLAGS=
 
 total_tests=0