diff options
| author | Erich Eckner <git@eckner.net> | 2024-01-26 20:31:34 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2024-01-26 20:31:34 +0100 |
| commit | ba917e9bc1bf8d7d6b9a0b8a6221d7a59c8fab66 (patch) | |
| tree | db8e85d49648ad2e39af8c1e5f70439d88f04198 | |
| parent | fb5b95bf29dba5d213a19cf65d95f90ed437a9c6 (diff) | |
| download | build-knecht-master.tar.xz | |
| -rwxr-xr-x | build-knecht | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build-knecht b/build-knecht index 3cc7c29..9e23956 100755 --- a/build-knecht +++ b/build-knecht @@ -34,6 +34,10 @@ while true; do --arch "${arch}" \ || true - sleep 60 + sleep $( + printf '60 + e(l(%s-%s)/2)\n' $(date +%s) $(git log -1 --pretty='format:%at') \ + | bc -l \ + | cut -d. -f1 + ) done |