Merge branch '11572-separate-repositories'

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

diff --git a/jenkins/run_upload_packages.py b/jenkins/run_upload_packages.py
index fbdd16c5261d1487ab04fdf00f2fce08b31dc82a..78956ae7646da7a044db25d4a98e75772e1ef48c 100755 (executable)
--- a/jenkins/run_upload_packages.py
+++ b/jenkins/run_upload_packages.py
@@ -195,11 +195,11 @@ freight cache "apt/$DISTNAME"
 rm "$@"
 """
     TARGET_DISTNAMES = {
-        'debian8': 'jessie',
-        'debian9': 'stretch',
-        'ubuntu1204': 'precise',
-        'ubuntu1404': 'trusty',
-        'ubuntu1604': 'xenial',
+        'debian8': 'jessie-dev',
+        'debian9': 'stretch-dev',
+        'ubuntu1204': 'precise-dev',
+        'ubuntu1404': 'trusty-dev',
+        'ubuntu1604': 'xenial-dev',
         }
 
     def post_uploads(self, paths):