diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2002-12-05 23:42:33 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2002-12-05 23:42:33 +0000 |
| commit | 669271fe5214a623b388c801d3f6ac0ae35d2bad (patch) | |
| tree | 9c1fe5ec4dfa5f48e3f521b84fffcdcd3ec9491a /perl_checker.src/perl_checker.ml | |
| parent | c6bad2017a04dd8d10ddc7e38bf78bfd121b52c4 (diff) | |
| download | perl_checker-669271fe5214a623b388c801d3f6ac0ae35d2bad.tar perl_checker-669271fe5214a623b388c801d3f6ac0ae35d2bad.tar.gz perl_checker-669271fe5214a623b388c801d3f6ac0ae35d2bad.tar.bz2 perl_checker-669271fe5214a623b388c801d3f6ac0ae35d2bad.tar.xz perl_checker-669271fe5214a623b388c801d3f6ac0ae35d2bad.zip | |
ignore unknown functions coming from XS bootstrap when we can't use the .c
to know the list of functions provided by the XS extension
Diffstat (limited to 'perl_checker.src/perl_checker.ml')
| -rw-r--r-- | perl_checker.src/perl_checker.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/perl_checker.src/perl_checker.ml b/perl_checker.src/perl_checker.ml index 489042a..dfa8061 100644 --- a/perl_checker.src/perl_checker.ml +++ b/perl_checker.src/perl_checker.ml @@ -17,7 +17,7 @@ let inc = inc_ref := reldir :: default ; try - ignored_packages := readlines (open_in (reldir ^ "/.perl_checker")) + ignored_packages := readlines (open_in (reldir ^ "/.perl_checker")) @ !ignored_packages with Sys_error _ -> () ); !inc_ref @@ -83,4 +83,7 @@ let parse_options = let state = parse_required_packages state required_packages in - List.iter (check_tree state) (List.map snd state.per_package) + let l = List.map snd state.per_package in + (* HACK: skip ignored_packages. Some package may have appeared in ignored_packages due to the xs bootstrap hack *) + let l = List.filter (fun pkg -> not (List.mem pkg.package_name !ignored_packages)) l in + List.iter (check_tree state) l |