diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-17 20:45:45 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-17 20:45:45 +0200 |
| commit | 26b553926dd28e830f43a173c0315b2dca272d4d (patch) | |
| tree | 0df0e716827ae282718ca920ce9f133a9335740f /bin/get-assignment | |
| parent | 27f86a4a37b35d97ca0293cfb8c7d93eeac103fe (diff) | |
| download | builder-26b553926dd28e830f43a173c0315b2dca272d4d.tar.xz | |
bin/get-assignment: style
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 04497c4..2aae1d9 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -86,8 +86,7 @@ while read -r package git_revision mod_git_revision repository; do generate_package_metadata "${package}.${git_revision}.${mod_git_revision}.${repository}" - if [ -f "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.locked" ]; - then + if [ -f "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.locked" ]; then if [ "${slave}" = "$(head -n1 "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.locked")" ]; then echo "${package} ${git_revision} ${mod_git_revision} ${repository}" exit |