Add support for Debian 10 (aka 'Buster') to run_upload_packages.py

[arvados-dev.git] / jenkins / run_upload_packages.py

diff --git a/jenkins/run_upload_packages.py b/jenkins/run_upload_packages.py
index 6f798e887822a20f666f931157b07da78dfe1799..0ef609e830d7422fdcba112f4b5cde540321bb66 100755 (executable)
--- a/jenkins/run_upload_packages.py
+++ b/jenkins/run_upload_packages.py
@@ -197,6 +197,7 @@ rm "$@"
     TARGET_DISTNAMES = {
         'debian8': 'jessie-dev',
         'debian9': 'stretch-dev',
+        'debian10': 'buster-dev',
         'ubuntu1404': 'trusty-dev',
         'ubuntu1604': 'xenial-dev',
         'ubuntu1804': 'bionic-dev',
@@ -245,7 +246,7 @@ PACKAGE_SUITES = {
                           'services/login-sync/*.gem',
                       ),
     }
-for target in ['debian8', 'debian9', 'ubuntu1404', 'ubuntu1604', 'ubuntu1804']:
+for target in ['debian8', 'debian9', 'debian10', 'ubuntu1404', 'ubuntu1604', 'ubuntu1804']:
     PACKAGE_SUITES[target] = _define_suite(
         DebianPackageSuite, os.path.join('packages', target, '*.deb'),
         target=target)