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 | 7a51968d7ddc218315482d6ddbc743cc6de607a4 (patch) | |
| tree | 8a7ac8c653ce7605372cb97028d39ab316010a92 /perl_checker.src/perl_checker.ml | |
| parent | aa7dcfe1d2f2206b08e06fa2d0aed5e516351f5b (diff) | |
| download | perl-MDK-Common-7a51968d7ddc218315482d6ddbc743cc6de607a4.tar perl-MDK-Common-7a51968d7ddc218315482d6ddbc743cc6de607a4.tar.gz perl-MDK-Common-7a51968d7ddc218315482d6ddbc743cc6de607a4.tar.bz2 perl-MDK-Common-7a51968d7ddc218315482d6ddbc743cc6de607a4.tar.xz perl-MDK-Common-7a51968d7ddc218315482d6ddbc743cc6de607a4.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 |