diff options
| author | Erich Eckner <git@eckner.net> | 2021-03-26 18:31:11 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2021-03-26 18:31:11 +0100 |
| commit | 7879d45597a112f0cd83601cc9209ebfbfd90dbc (patch) | |
| tree | 2af238c0fe3aee3218cab000b8210b7626513c2f | |
| parent | 48ae67a109b4ac3c5bd84727ce4bb9142e89fc40 (diff) | |
| download | build-knecht-7879d45597a112f0cd83601cc9209ebfbfd90dbc.tar.xz | |
build-knecht: wait some time if everything was built successfully
| -rwxr-xr-x | build-knecht | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/build-knecht b/build-knecht index 7ba1b26..52a7a05 100755 --- a/build-knecht +++ b/build-knecht @@ -22,11 +22,13 @@ if ! git -C "${home_dir}/archlinuxewe" pull --ff-only; then >&2 echo 'Cannot update archPackages repository.' fi -"${home_dir}/archlinuxewe/archPackagesUpdate" \ +if "${home_dir}/archlinuxewe/archPackagesUpdate" \ --no-abortOnMakepkgError \ - --arch "${arch}" \ -|| "${home_dir}/archlinuxewe/archPackagesUpdate" \ - --cleanChroot \ - --arch "${arch}" - -true + --arch "${arch}"; then + sleep 60 +else + "${home_dir}/archlinuxewe/archPackagesUpdate" \ + --cleanChroot \ + --arch "${arch}" \ + || true +fi |