diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2004-01-09 14:21:15 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2004-01-09 14:21:15 +0000 |
| commit | d1e6f4e26098eb035c017d1146ef7d06e4e946ba (patch) | |
| tree | 4ba8246398fc3b0eef58be7b54741055cc162f63 /perl_checker.src/tree.ml | |
| parent | 1c03763f01310c1d1fe994ce77dc0c34c0f64ac1 (diff) | |
| download | perl_checker-d1e6f4e26098eb035c017d1146ef7d06e4e946ba.tar perl_checker-d1e6f4e26098eb035c017d1146ef7d06e4e946ba.tar.gz perl_checker-d1e6f4e26098eb035c017d1146ef7d06e4e946ba.tar.bz2 perl_checker-d1e6f4e26098eb035c017d1146ef7d06e4e946ba.tar.xz perl_checker-d1e6f4e26098eb035c017d1146ef7d06e4e946ba.zip | |
always print "can't find package" warning, even with restrict-to-files
Diffstat (limited to 'perl_checker.src/tree.ml')
| -rw-r--r-- | perl_checker.src/tree.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/perl_checker.src/tree.ml b/perl_checker.src/tree.ml index 002548f..335934b 100644 --- a/perl_checker.src/tree.ml +++ b/perl_checker.src/tree.ml @@ -50,6 +50,7 @@ let ignore_package pkg = let die_with_pos pos msg = failwith (Info.pos2sfull pos ^ msg) let warn_with_pos pos msg = print_endline_flush (Info.pos2sfull pos ^ msg) +let warn_with_pos_always pos msg = print_endline_flush_always (Info.pos2sfull pos ^ msg) let s2context s = match s.[0] with |