11980: debian9 as a new target

refs #11980

Arvados-DCO-1.1-Signed-off-by: Nico Cesar <nico@curoverse.com>

diff --git a/jenkins/run_upload_packages.py b/jenkins/run_upload_packages.py
index 38abd89209be682cbc5a7f12ff8d27d8d70eb051..25c596a5339324905d7522130becb518c58e738a 100755 (executable)
--- a/jenkins/run_upload_packages.py
+++ b/jenkins/run_upload_packages.py
@@ -186,6 +186,7 @@ rm "$@"
 """
     TARGET_DISTNAMES = {
         'debian8': 'jessie',
+        'debian9': 'stretch',
         'ubuntu1204': 'precise',
         'ubuntu1404': 'trusty',
         'ubuntu1604': 'xenial',