Merge branch 'wtsi/13809-root_url-protocol-port-configuration'

[arvados.git] / build / run-library.sh

diff --git a/build/run-library.sh b/build/run-library.sh
index 46e4887a10ee4483d6f5351d536cb0cb01c10a09..8ba14949d3c0847acaaa8c2fe3671a513c7668de 100755 (executable)
--- a/build/run-library.sh
+++ b/build/run-library.sh
@@ -266,7 +266,7 @@ test_package_presence() {
     # Get the list of packages from the repos
 
     if [[ "$FORMAT" == "deb" ]]; then
-      debian_distros="jessie precise stretch trusty wheezy xenial"
+      debian_distros="jessie precise stretch trusty wheezy xenial bionic"
 
       for D in ${debian_distros}; do
         if [ ${pkgname:0:3} = "lib" ]; then