Luca Boccassi bbae5d0f9a Problem: dpkg-query might fail in CI build and fail the build ...

Solution: rework the bash test to avoid build failures as intended
and make it an easier one-liner

2016-12-27 14:45:45 +01:00

..

ci_build.sh

Problem: dpkg-query might fail in CI build and fail the build

2016-12-27 14:45:45 +01:00