diff options
| author | w0rp <devw0rp@gmail.com> | 2018-07-22 12:16:42 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-07-22 12:16:42 +0100 |
| commit | 8062d6207edf71d1b1d0f02db965cf2bc2823d82 (patch) | |
| tree | 68cf7ee8ac5a89267f8c1a7d1b834030cf578a96 | |
| parent | 6c10be8992b9a54e83bab58838c1553d36028c7e (diff) | |
| download | ale-8062d6207edf71d1b1d0f02db965cf2bc2823d82.zip | |
Revert "Update the tests to check README.md in the new location"
This reverts commit 6c10be8992b9a54e83bab58838c1553d36028c7e.
| -rwxr-xr-x | test/script/check-supported-tools-tables | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index 0666f0d1..220c7427 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -22,11 +22,11 @@ ale_help_end_line="$(expr "$ale_help_start_line" + "$ale_help_section_size")" # Find the start and end lines for the same section in the README. readme_start_line="$( \ - grep -m1 -n '^.*[0-9][0-9]*\. *Supported Languages' .github/README.md \ + grep -m1 -n '^.*[0-9][0-9]*\. *Supported Languages' README.md \ | sed 's/\([0-9]*\).*/\1/' \ )" readme_section_size="$( \ - tail -n +"$readme_start_line" .github/README.md \ + tail -n +"$readme_start_line" README.md \ | grep -m1 -n '^##.*Usage' \ | sed 's/\([0-9]*\).*/\1/' \ )" @@ -46,7 +46,7 @@ sed -n "$ale_help_start_line,$ale_help_end_line"p doc/ale.txt \ | sed 's/^/ /' \ > "$doc_file" -sed -n "$readme_start_line,$readme_end_line"p .github/README.md \ +sed -n "$readme_start_line,$readme_end_line"p README.md \ | grep '| .* |' \ | sed '/^| Language/d;/^| ---/d' \ | sed 's/^|//' \ |