commit 4c181025aa95cd0286ccda71fe8b631065500622 parent 0eaff37281b021b499e32e4580d2402fb201bbad Author: Christian Grothoff <christian@grothoff.org> Date: Tue, 14 Jan 2025 00:01:35 +0100 add missing file Diffstat:
| A | worker-sites/build-sites.sh | | | 5 | +++++ |
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/worker-sites/build-sites.sh b/worker-sites/build-sites.sh @@ -0,0 +1,5 @@ +#!/bin/bash +set -eu +cd $HOME/stamps +./invalidate.sh +make -k