[taler-deployment] branch master updated: Build if dependency was built after.

[gnunet]

This is an automated email from the git hooks/post-receive script.

ms pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new 23c7b57  Build if dependency was built after.
23c7b57 is described below

commit 23c7b571077b5f8772deea7287567a40a8d21be5
Author: ms <ms@taler.net>
AuthorDate: Fri Sep 24 14:03:59 2021 +0200

    Build if dependency was built after.
---
 bin/WIP/taler-local | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/bin/WIP/taler-local b/bin/WIP/taler-local
index eb6589a..82107d4 100755
--- a/bin/WIP/taler-local
+++ b/bin/WIP/taler-local
@@ -311,6 +311,11 @@ def get_stale_repos(repos: List[Repo]) -> List[Repo]:
         if not s.exists():
             timestamps[r.name] = time.time()
             stale.append(r)
+        ts = timestamps[r.name] = s.stat().st_mtime
+        for dep in r.deps:
+            if timestamps[dep] > ts:
+                stale.append(r)
+                break
     return stale
 
 @cli.command()

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.