Merge branch 'master' into create_ubuntu20_package

2021-02-14 18:59:53 +13:00
parent 4f561568a3 57f4e0a856
commit c151f479f4
3 changed files with 12 additions and 6 deletions
--- a/builder/build-deb-inside-docker
+++ b/builder/build-deb-inside-docker
@@ -11,4 +11,4 @@ os_dir="builder/build/${os_codename}"
 dpkg-buildpackage -us -uc -b
 mkdir -p "$os_dir"
 cp ../*.deb "$os_dir"
-lintian ../*.deb
+lintian ../*.deb || true