diff options
| -rw-r--r-- | .gitattributes | 3 | ||||
| -rwxr-xr-x | run-tests | 4 | ||||
| -rwxr-xr-x | test/script/check-supported-tools-tables (renamed from check-supported-tools-tables) | 0 | ||||
| -rwxr-xr-x | test/script/custom-checks (renamed from custom-checks) | 0 |
4 files changed, 3 insertions, 4 deletions
diff --git a/.gitattributes b/.gitattributes index 27cbcff5..05b1f3f0 100644 --- a/.gitattributes +++ b/.gitattributes @@ -6,8 +6,7 @@ /Makefile export-ignore /PULL_REQUEST_TEMPLATE.md export-ignore /README.md export-ignore -/check-supported-tools-tables export-ignore -/custom-checks export-ignore /img export-ignore /run-tests export-ignore +/run-tests.bat export-ignore /test export-ignore @@ -209,7 +209,7 @@ if ((run_custom_checks)); then echo set -o pipefail - docker run -a stdout "${DOCKER_FLAGS[@]}" ./custom-checks . || EXIT=$? + docker run -a stdout "${DOCKER_FLAGS[@]}" test/script/custom-checks . || EXIT=$? set +o pipefail echo @@ -242,7 +242,7 @@ if ((run_custom_checks)); then echo 'Differences follow:' echo - ./check-supported-tools-tables || EXIT=$? + test/script/check-supported-tools-tables || EXIT=$? echo '========================================' echo 'Look for badly aligned doc tags' diff --git a/check-supported-tools-tables b/test/script/check-supported-tools-tables index 842d431b..842d431b 100755 --- a/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables diff --git a/custom-checks b/test/script/custom-checks index aad16c9c..aad16c9c 100755 --- a/custom-checks +++ b/test/script/custom-checks |