diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-08 09:29:59 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-08 09:29:59 +0200 |
| commit | 6a98dad57677f20a491d0dc4a09a88ed853959dd (patch) | |
| tree | cba63c5af68f440ba9faa031bbaabe76acf763a0 /bin/return-assignment | |
| parent | 8bc44560983956a18f5c5e4b896f291378a063d1 (diff) | |
| download | builder-6a98dad57677f20a491d0dc4a09a88ed853959dd.tar.xz | |
bin/get-assignment: remove old state files on handing out new assignment
Diffstat (limited to 'bin/return-assignment')
| -rwxr-xr-x | bin/return-assignment | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index 2169729..b217409 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -146,7 +146,8 @@ mv *.pkg.tar.xz{,.sig} "${master_mirror_directory}/i686/staging/" done ) -# remove old stage files +# remove old stage files (these should be only "done" markers, but +# actually we don't care what it is) ls "${work_dir}/package-states" | \ grep "^${1//./\\.}\(\.[^.]\+\)\{4\}\$" | \ grep -v "^${1//./\\.}\.$2\.$3\.$4\.[^.]\+\$" | \ |