diff options
| author | w0rp <devw0rp@gmail.com> | 2018-07-22 12:15:15 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-07-22 12:15:15 +0100 |
| commit | 6c10be8992b9a54e83bab58838c1553d36028c7e (patch) | |
| tree | 730dd7b845f444142f9f942da221d4c93707bd28 | |
| parent | 014c924630c38afcc402902ed712b54ff232d861 (diff) | |
| download | ale-6c10be8992b9a54e83bab58838c1553d36028c7e.zip | |
Update the tests to check README.md in the new location
| -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 220c7427..0666f0d1 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' README.md \ + grep -m1 -n '^.*[0-9][0-9]*\. *Supported Languages' .github/README.md \ | sed 's/\([0-9]*\).*/\1/' \ )" readme_section_size="$( \ - tail -n +"$readme_start_line" README.md \ + tail -n +"$readme_start_line" .github/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 README.md \ +sed -n "$readme_start_line,$readme_end_line"p .github/README.md \ | grep '| .* |' \ | sed '/^| Language/d;/^| ---/d' \ | sed 's/^|//' \ |