summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.envrcbin738 -> 787 bytes
-rwxr-xr-xboards/run.sh2
2 files changed, 1 insertions, 1 deletions
diff --git a/.envrc b/.envrc
index 561cb19..d94b87a 100644
--- a/.envrc
+++ b/.envrc
Binary files differ
diff --git a/boards/run.sh b/boards/run.sh
index bd6467b..b3fc2e6 100755
--- a/boards/run.sh
+++ b/boards/run.sh
@@ -9,7 +9,7 @@ then
else
lftp << EOF
open -u ${LIGA_FTP_USER},${LIGA_FTP_PASS} ${LIGA_FTP_HOST}
- mirror -R output/ ${LIGA_BOARDS_FTP_PATH} --exclude-glob .*
+ mirror -R output/ ${LIGA_BOARDS_FTP_PATH} --delete --exclude-glob .*
EOF
fi
fi