summaryrefslogtreecommitdiff
path: root/infra
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-06 17:31:56 +0100
committerSean Whitton <spwhitton@spwhitton.name>2019-07-07 09:54:19 +0100
commit56dac689f66baa1d9e5c2e25dd2f5ef78fdb1db2 (patch)
treeea2a8a82a8b215dd2beb92607befbb78743adec7 /infra
parent5773b7ee8ee79f71bc6f46ceaa502803ea4b59c0 (diff)
dgit-repos-server: tag2upload: Use a bpd and clean up origs
This prevents us keeping forever the junk from uploads, and it prevents us reusing it too. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
-rwxr-xr-xinfra/dgit-repos-server5
1 files changed, 5 insertions, 0 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index df0be6b..828ab7a 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -1112,7 +1112,11 @@ sub mode_tag2upload () {
my $tagref = "refs/tags/$tagval";
rmtree $work;
+ rmtree 'bpd';
mkdir $work or die $!;
+ mkdir 'bpd' or die $!;
+ unlink <*.orig*>;
+ dif $! if <*.orig*>;
changedir $work;
runcmd qw(git init -q);
runcmd qw(git remote add origin), $url;
@@ -1233,6 +1237,7 @@ END
push @dgit, $ENV{DGIT_DRS_DGIT} // 'dgit';
push @dgit, '-wn';
push @dgit, "-p$package";
+ push @dgit, '--build-products-dir=../bpd';
changedir "..";
runcmd (@dgit, qw(setup-gitattributes));