summaryrefslogtreecommitdiff
path: root/bin/WIP
diff options
context:
space:
mode:
authorms <ms@taler.net>2021-09-24 14:03:59 +0200
committerms <ms@taler.net>2021-09-24 14:03:59 +0200
commit23c7b571077b5f8772deea7287567a40a8d21be5 (patch)
tree984527232dcdfa24e5a2f5c8762047e9e62a96d1 /bin/WIP
parenteb0957b02c7158de33d1066fd7fd12843919edfd (diff)
downloaddeployment-23c7b571077b5f8772deea7287567a40a8d21be5.tar.gz
deployment-23c7b571077b5f8772deea7287567a40a8d21be5.tar.bz2
deployment-23c7b571077b5f8772deea7287567a40a8d21be5.zip
Build if dependency was built after.
Diffstat (limited to 'bin/WIP')
-rwxr-xr-xbin/WIP/taler-local5
1 files changed, 5 insertions, 0 deletions
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()