From 3baafd5c336d18d87898ae87f16df7cd76bc8d65 Mon Sep 17 00:00:00 2001 From: CodingCellist Date: Sat, 5 Sep 2020 21:37:11 +0200 Subject: Add support for Idris2, closes #534 (#535) --- scripts/build | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'scripts/build') 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 -- cgit v1.2.3