Am Montag, den 11.09.2017, 10:06 -0600 schrieb Jason Gunthorpe: > On Mon, Sep 11, 2017 at 01:28:21PM +0200, Benjamin Drung wrote: > > Signed-off-by: Benjamin Drung <benjamin.drung@xxxxxxxxxxxxxxxx> > > debian/ibverbs-providers.symbols | 1 + > > 1 file changed, 1 insertion(+) > > We CI test debian builds, why didn't the CI break? Can we fix that? Missing symbols will be added on build time using the full Debian package version. So the build will not fail, but lintian will complain about it: symbols-file-contains-current-version-with-debian-revision I suggest to run lintian after the build and lintian errors should let the build fail. -- Benjamin Drung System Developer Debian & Ubuntu Developer ProfitBricks GmbH Greifswalder Str. 207 D - 10405 Berlin Email: benjamin.drung@xxxxxxxxxxxxxxxx Web: https://www.profitbricks.com Sitz der Gesellschaft: Berlin. Registergericht: Amtsgericht Charlottenburg, HRB 125506B. Geschäftsführer: Achim Weiss. -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
