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 | bb9663c48b712e9c821ba9065d2fb7d7528fdc4a (patch) | |
| tree | 0854111a070e1007f92f6bcc1d35fef54180cfbf /perl_checker.src/tree.ml | |
| parent | 4719b738dfa8da4479086a080f3aa4a9d5a779ea (diff) | |
| download | perl-MDK-Common-bb9663c48b712e9c821ba9065d2fb7d7528fdc4a.tar perl-MDK-Common-bb9663c48b712e9c821ba9065d2fb7d7528fdc4a.tar.gz perl-MDK-Common-bb9663c48b712e9c821ba9065d2fb7d7528fdc4a.tar.bz2 perl-MDK-Common-bb9663c48b712e9c821ba9065d2fb7d7528fdc4a.tar.xz perl-MDK-Common-bb9663c48b712e9c821ba9065d2fb7d7528fdc4a.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 |