More restrictive lintian

diff --git a/sources/build-dev b/sources/build-dev
index 52a676a73fb499e80b2e71aed0a7d03e89fd242e..981d23aef14b7ec24f550b8b36fbcc7d51783d9e 100755 (executable)
--- a/sources/build-dev
+++ b/sources/build-dev
@@ -1,7 +1,9 @@
 #!/bin/sh
+
 gbp buildpackage \
 --git-ignore-new \
+--git-ignore-branch \
 --git-submodules \
 --git-debian-branch="debian/latest" \
---git-builder="debuild -i -I --no-sign" \
+--git-builder="debuild -i -I --no-sign --lintian-opts --display-info --verbose --fail-on error,warning --info --pedantic" \
 --git-cleaner="git clean -d -x -f"

diff --git a/sources/ggml b/sources/ggml
index 4cb51ceb203c131de674d097363f70129404a8ea..eb8dfa07ca58a25f1374a3b1f59f5aa71cb4f223 160000 (submodule)
--- a/sources/ggml
+++ b/sources/ggml
@@ -1 +1 @@
-Subproject commit 4cb51ceb203c131de674d097363f70129404a8ea
+Subproject commit eb8dfa07ca58a25f1374a3b1f59f5aa71cb4f223