diff options
| author | CodingCellist <teh6@st-andrews.ac.uk> | 2020-09-05 21:37:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-05 21:37:11 +0200 |
| commit | 3baafd5c336d18d87898ae87f16df7cd76bc8d65 (patch) | |
| tree | 3bd6787bde3c5713fd5cfc7c962d60ac4b3dac50 /scripts/build | |
| parent | b0124dc88082f5ed8c96faa16d3b334d38f5949f (diff) | |
| download | vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.tar.gz vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.zip | |
Add support for Idris2, closes #534 (#535)
Diffstat (limited to 'scripts/build')
| -rwxr-xr-x | scripts/build | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/build b/scripts/build index c7f4846f..79a1cfe7 100755 --- a/scripts/build +++ b/scripts/build @@ -77,6 +77,12 @@ def load_data() filetype["extensions"] ||= [] filetype["filenames"] ||= [] filetype["interpreters"] ||= [] + + filetype.keys.each do |key| + if key.start_with?("extra_") + raise "[#{filetype["name"]}]: #{key} is not allowed if linguist is not used" + end + end end end end |