From 3f8353030c70badf232f7cd667a52ceadaf1efb9 Mon Sep 17 00:00:00 2001 From: Benjamin Drung Date: Thu, 3 Jul 2014 16:31:30 +0200 Subject: [PATCH] upload squeeze-dev/wheezy-dev packages to pb-debian-dev instead of pb-debian --- debian_build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian_build.py b/debian_build.py index 9e9cee0..363307b 100755 --- a/debian_build.py +++ b/debian_build.py @@ -285,7 +285,7 @@ if __name__ == '__main__': pb_suite = 'develop-{dist}'.format(dist=curr_dist) reprepro_base = '/srv/pb-{dist}'.format(dist=curr_dist) apt_dist = curr_dist + '-dev' - apt_target = "apt01-debian" + apt_target = "apt01-debian-dev" # reset actions # .. always include successful build packages into CIDB if curr_dist == 'squeeze': -- 2.39.5