diff options
| author | Erich Eckner <git@eckner.net> | 2017-03-25 22:13:35 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-03-25 22:13:35 +0100 |
| commit | fa9325b0e9af86219aaece306e51544b2a6aeece (patch) | |
| tree | 31fe0d689ff2fe74748c71e4ad1a097ecdcb2094 | |
| parent | 64b76d4fa7fa02ada7f9325b2bfa3cd71d77f2d3 (diff) | |
| download | builder-fa9325b0e9af86219aaece306e51544b2a6aeece.tar.xz | |
only break each dependency cycle once
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index ee97c8f..2b228f6 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -209,6 +209,7 @@ while [ ${#packages_built[@]} -gt 0 ]; do unset packages_needed["${package}"] unset packages_needed_for_make["${package}"] found_something=true + break fi done @@ -233,6 +234,7 @@ while [ ${#packages_built[@]} -gt 0 ]; do unset packages_needed["${package}"] unset packages_needed_for_make["${package}"] found_something=true + break fi done |