1
0
mirror of https://github.com/deadc0de6/dotdrop.git synced 2026-02-12 16:25:13 +00:00

clean tmp dir in workdir

This commit is contained in:
deadc0de6
2021-10-19 22:18:50 +02:00
parent f4cff17f1b
commit 54a3651984

View File

@@ -90,6 +90,8 @@ if [ ! -z ${workers} ]; then
fi fi
# run bash tests # run bash tests
workdir_tmp="no"
[ -d "~/.config/dotdrop/tmp" ] && workdir_tmp="yes"
if [ -z ${GITHUB_WORKFLOW} ]; then if [ -z ${GITHUB_WORKFLOW} ]; then
## local ## local
export COVERAGE_FILE= export COVERAGE_FILE=
@@ -99,6 +101,7 @@ else
export COVERAGE_FILE="${cur}/.coverage" export COVERAGE_FILE="${cur}/.coverage"
tests-ng/tests-launcher.py 1 tests-ng/tests-launcher.py 1
fi fi
[ "${workdir_tmp}" = "no" ] && rm -rf ~/.config/dotdrop/tmp
## test the doc with remark ## test the doc with remark
## https://github.com/remarkjs/remark-validate-links ## https://github.com/remarkjs/remark-validate-links