diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-10 14:42:20 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-10 14:42:20 +0200 |
| commit | c9897d84bff4d2f484090661888f31c938be4947 (patch) | |
| tree | 1062b2da1a05cdaa5f3f862240cef8b6f75bcd28 /bin | |
| parent | 40e562a93a293b65b85d7980c871219d8218ec6a (diff) | |
| download | builder-c9897d84bff4d2f484090661888f31c938be4947.tar.xz | |
bin/return-assignment: write names of packages into done-marker file
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/return-assignment | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index 04648ca..62b0796 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -170,4 +170,6 @@ grep "^${1//./\\.}\$" "${work_dir}/build-list.loops/loop_"* 2> /dev/null | \ sed -i "/^${1//./\\.} $2 $3 $4\$/d" "${work_dir}/build-list" # remove package lock file -mv "${work_dir}/package-states/$1.$2.$3.$4."{locked,done} +printf '%s\n' "${packages[@]}" > \ + "${work_dir}/package-states/$1.$2.$3.$4.done" +rm "${work_dir}/package-states/$1.$2.$3.$4.locked" |