The following commit has been merged in the master branch:
commit 060d85847bc8d3287d88900317214b8538b5e6ca
Author: Mehdi Dogguy <me...@debian.org>
Date:   Fri Apr 15 21:44:12 2011 +0200

    No need to filter out src/{impact,security} from tarball

diff --git a/debian/gbp.conf b/debian/gbp.conf
index c8c1dca..1d83450 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -5,8 +5,6 @@ filter = [
     "ocamlgraph",
     "ocamlgraph.tar.gz",
     "doc/manuals",
-    "src/impact",
-    "src/security",
     "cil/doc",
     "tests/test/adpcm.c"
     ]

-- 
frama-c packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to