Added option to not set makeprg

This commit is contained in:
Gauthier Billot 2019-04-11 09:22:17 +02:00 committed by Justin Donaldson
parent d928785f7c
commit 409802e63f
2 changed files with 4 additions and 0 deletions

View file

@ -327,6 +327,9 @@ endfunction
" Sets the makeprg
function! vaxe#SetCompiler()
if !g:vaxe_set_makeprg
return
endif
let abspath = []
let escaped_wd = fnameescape(g:vaxe_working_directory)
let dirs = split(&tags, ",")

View file

@ -112,6 +112,7 @@ let g:vaxe_prefer_first_in_directory = Default('g:vaxe_prefer_first_in_directory
let g:vaxe_default_parent_search_patterns
\= Default('g:vaxe_default_parent_search_patterns'
\, [g:vaxe_prefer_lime, g:vaxe_prefer_flow, g:vaxe_prefer_openfl, g:vaxe_prefer_hxml, "*.hxml"])
let g:vaxe_set_makeprg = Default('g:vaxe_set_makeprg', 1)
" Supported 3rd party plugin options
let g:vaxe_enable_airline_defaults = Default('g:vaxe_enable_airline_defaults', 1)