diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-06 17:31:56 +0100 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-07 09:54:19 +0100 |
commit | 56dac689f66baa1d9e5c2e25dd2f5ef78fdb1db2 (patch) | |
tree | ea2a8a82a8b215dd2beb92607befbb78743adec7 /infra/dgit-repos-server | |
parent | 5773b7ee8ee79f71bc6f46ceaa502803ea4b59c0 (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/dgit-repos-server')
-rwxr-xr-x | infra/dgit-repos-server | 5 |
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)); |