diff options
author | Adam Stankiewicz <sheerun@sher.pl> | 2020-09-24 10:50:19 +0200 |
---|---|---|
committer | Adam Stankiewicz <sheerun@sher.pl> | 2020-09-24 10:50:19 +0200 |
commit | e2bbed8acc1f1cf498a0085cf771cf9bf40fb709 (patch) | |
tree | 001f4955c399ac71b34fa38f2a3bd63526df50d6 /scripts | |
parent | 6b4da2753814cc61cd842c589d829f03cd7ca98d (diff) | |
download | vim-polyglot-e2bbed8acc1f1cf498a0085cf771cf9bf40fb709.tar.gz vim-polyglot-e2bbed8acc1f1cf498a0085cf771cf9bf40fb709.zip |
Fix django highlighting, fixes #553
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/scripts/build b/scripts/build index 47a7e51a..260beddb 100755 --- a/scripts/build +++ b/scripts/build @@ -375,13 +375,15 @@ def extract(packages) if repo == "vim/vim" && (["glob", "globs"] & package.keys).size == 0 raise "Package from vim/vim should define glob or globs: #{package["name"]}" end - glob = package.fetch("glob", package.fetch('globs', '**/*.{vim,ctags,vital,txt}')) - Dir.glob("#{subdir}/#{glob}", base: subtree).each do |p| - next unless File.file?("#{subtree}/#{p}") - if p.include?("samba") - raise package["name"] + globs = [package.fetch("glob", package.fetch('globs', '**/*.{vim,ctags,vital,txt}'))].flatten + globs.each do |glob| + Dir.glob("#{subdir}/#{glob}", base: subtree).each do |p| + next unless File.file?("#{subtree}/#{p}") + if p.include?("samba") + raise package["name"] + end + copy_file(package, "#{subtree}/#{p}", p) end - copy_file(package, "#{subtree}/#{p}", p) end elsif File.exist?(subpath) copy_file(package, subpath, subdir) |