From 489d585aa64ea2548429d00497068ffd3962abff Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Thu, 17 Nov 2016 10:04:13 +0000 Subject: [PATCH] Fix topkg lint warning --- pkg/pkg.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkg/pkg.ml b/pkg/pkg.ml index 3e40913..5427453 100755 --- a/pkg/pkg.ml +++ b/pkg/pkg.ml @@ -59,7 +59,7 @@ module Build = struct end let opams = - let lint_deps_excluding = Some ["cppo"] in + let lint_deps_excluding = Some ["cppo"; "ocb-stubblr"] in [Pkg.opam_file ~lint_deps_excluding "opam"] let metas = [Pkg.meta_file ~install:false "pkg/META.in"]