15839: add Debian Buster packages.

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

diff --git a/build/run-library.sh b/build/run-library.sh
index a4cebbc8a71d07de545a8382dd001a736802a548..f173504c588b58c8e82ce93ade95ab4a8ce9acf3 100755 (executable)
--- a/build/run-library.sh
+++ b/build/run-library.sh
@@ -316,7 +316,9 @@ test_package_presence() {
     # sure it gets picked up by the test and/or upload steps.
     # Get the list of packages from the repos
 
-    if [[ "$FORMAT" == "deb" ]]; then
+    if [[ "$FORCE_BUILD" == "1" ]]; then
+      echo "Package $full_pkgname build forced with --force-build, building"
+    elif [[ "$FORMAT" == "deb" ]]; then
       declare -A dd
       dd[debian9]=stretch
       dd[debian10]=buster