diff options
author | w0rp <devw0rp@gmail.com> | 2017-09-10 13:19:08 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-09-10 13:19:08 +0100 |
commit | c4ad92e458f51ce849baed3b628fbd2f43303ace (patch) | |
tree | bb199b6cf77dddf906f4ef64fadabe86229ce37a | |
parent | 18a7d32c4cc77d0eaa9ff860f86a307d0baafa09 (diff) | |
download | ale-c4ad92e458f51ce849baed3b628fbd2f43303ace.zip |
Move scripts for tests into the test directory, and do not export the Batch script for running tests
-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 |