- perl_checker: print on stdout, not stderr

- perl_checker: add option --restrict-to-files (mainly for perl_checko the Clean Keeper)

1 files changed, 3 insertions, 3 deletions

diff --git a/perl_checker.src/parser_helper.ml b/perl_checker.src/parser_helper.ml
index 0cea7e2..7f723a6 100644
--- a/perl_checker.src/parser_helper.ml
+++ b/perl_checker.src/parser_helper.ml
@@ -97,12 +97,12 @@ let from_array (e, _) =
   | _ -> internal_error "from_array"
 
 let msg_with_rawpos (start, end_) msg = Info.pos2sfull_current start end_ ^ msg
-let die_with_rawpos raw_pos msg = failwith      (msg_with_rawpos raw_pos msg)
-let warn         raw_pos msg = prerr_endline (msg_with_rawpos raw_pos msg)
+let die_with_rawpos raw_pos msg = failwith (msg_with_rawpos raw_pos msg)
+let warn raw_pos msg = print_endline_flush (msg_with_rawpos raw_pos msg)
 
 let die_rule msg = die_with_rawpos (Parsing.symbol_start(), Parsing.symbol_end()) msg
 let warn_rule msg = warn (Parsing.symbol_start(), Parsing.symbol_end()) msg
-let debug msg = if true then prerr_endline msg
+let debug msg = if true then print_endline_flush msg
 
 let warn_verb pos msg = if not !Flags.quiet then warn (pos, pos) msg
 let warn_too_many_space start = warn_verb start "you should have only one space here"