commit 8f8be9dac3a09f23681c3433f3be7aa7a560273f parent 03bff6f86a9840b78c24233060a01b3d65baa1fb Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 22 Dec 2019 16:52:52 +0100 continue building sites on error, maybe _some_ of them work Diffstat:
| M | buildbot/build-sites.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/build-sites.sh b/buildbot/build-sites.sh @@ -2,4 +2,4 @@ set -eu cd $HOME/stamps ./invalidate.sh -make +make -k