diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-01 10:28:05 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-01 10:28:05 +0100 |
| commit | ad463afa2d41e42463476e43436eac224bac1de3 (patch) | |
| tree | 3c51efa5929a02cbde5df72750b4843460d26edf /bin/prioritize-build-list | |
| parent | 05a43c23b36c4b68a246bc69fa0d699a3ec469fb (diff) | |
| download | builder-ad463afa2d41e42463476e43436eac224bac1de3.tar.xz | |
() -> {}
Diffstat (limited to 'bin/prioritize-build-list')
| -rwxr-xr-x | bin/prioritize-build-list | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/prioritize-build-list b/bin/prioritize-build-list index 793086e..06d4c06 100755 --- a/bin/prioritize-build-list +++ b/bin/prioritize-build-list @@ -23,10 +23,10 @@ if ! flock -s -n 8; then exit 1 fi -( +{ sed -n "/^$1/p" "${work_dir}/build-list" sed "/^$1/d" "${work_dir}/build-list" -) | \ +} | \ sponge "${work_dir}/build-list" # Remove the lock file |