|
@@ -48,7 +48,7 @@ let phase = function
|
|
|
cpp_out
|
|
cpp_out
|
|
|
in
|
|
in
|
|
|
|
|
|
|
|
- let _ = log_line 1 "Run C preprocessor" in
|
|
|
|
|
|
|
+ let _ = log_line 2 "Run C preprocessor" in
|
|
|
|
|
|
|
|
(* Read preprocessed code from cpp's stdout *)
|
|
(* Read preprocessed code from cpp's stdout *)
|
|
|
let preprocessed = input_buffered cpp_out bufsize in
|
|
let preprocessed = input_buffered cpp_out bufsize in
|
Taddeus Kroes