diff options
-rw-r--r-- | .gitmodules | 1 | ||||
-rw-r--r-- | Makefile | 3 | ||||
m--------- | playoff | 0 |
3 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index b1ada77..6fd0f4e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,6 +7,7 @@ [submodule "playoff"] path = playoff url = git@github.com:PZBS/liga-playoff + branch = master [submodule "boards/deal-convert"] path = boards/deal-convert url = https://github.com/emkael/deal-convert @@ -43,4 +43,7 @@ records: FORCE brackets: FORCE sudo -u www-data -- bash -c 'source .envrc && cd playoff/scripts/ && ./autorun.sh force' +carryovers: FORCE + ./playoff/scripts/pagechecks/check-all.sh ${PHASE} + FORCE: diff --git a/playoff b/playoff -Subproject 69504adaf837abdf823aad571a1b7539f2a4de9 +Subproject 9ee7e96359b0ec446efdccb65917c9d1b40b4e2 |