From 0aa207d9610c2b69cab5a99b22c0dd570486adae Mon Sep 17 00:00:00 2001 From: Eugenio Parodi Date: Thu, 14 Dec 2023 10:28:33 +0000 Subject: [PATCH] update the sabdbox uploader script --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 7ba7a361..c9755d9d 100644 --- a/Makefile +++ b/Makefile @@ -96,9 +96,12 @@ deploySandbox: cp -a tests/sandbox tmp/ git checkout gh-pages + git pull cp tmp/sandbox/*.html sandbox cp -r tmp/sandbox/js sandbox + git submodule update --init + git submodule foreach git checkout gh-pages git submodule foreach git pull git add sandbox