diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-30 11:18:03 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-30 11:18:03 +0100 |
| commit | a9d2ea413bc0b4ccbebd2da7a48a8c0dbaf2e676 (patch) | |
| tree | 6f0c1e23e4671c1522bf518aa00a6663ae1d9cc9 /lib/load-configuration | |
| parent | 90750bad1b9337731f7ba45b7d4a15544b0e51f6 (diff) | |
| download | builder-a9d2ea413bc0b4ccbebd2da7a48a8c0dbaf2e676.tar.xz | |
check intentions_left() whenever we get a package_database_lock
Diffstat (limited to 'lib/load-configuration')
| -rwxr-xr-x | lib/load-configuration | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 29d5597..f9e0875 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -253,3 +253,6 @@ if ${i_am_the_master}; then fi export SKIP_COMMAND_LOG='' fi + +# shellcheck source=../lib/intentions-queue +. "${base_dir}/lib/intentions-queue" |