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 /run-tests | |
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
Diffstat (limited to 'run-tests')
-rwxr-xr-x | run-tests | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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' |