diff options
| author | Joel Klinghed <the_jk@spawned.biz> | 2018-02-15 22:58:17 +0100 |
|---|---|---|
| committer | Joel Klinghed <the_jk@spawned.biz> | 2018-02-15 22:58:40 +0100 |
| commit | 2ca250f508f795fa786ea3b41f61a451a511a4a0 (patch) | |
| tree | 3779911a9f01bf1e9ba0e3f716a4fb3379659aa8 /flycheck-android-experimental.el | |
| parent | 5ea5ec068a5cd7d4b1328b6c14a34d17ac69f69d (diff) | |
Add option for not running generate*Sources task before check
For large projects running generate*Sources can incur a heavy cost
Diffstat (limited to 'flycheck-android-experimental.el')
| -rw-r--r-- | flycheck-android-experimental.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/flycheck-android-experimental.el b/flycheck-android-experimental.el index 34d01f0..0449394 100644 --- a/flycheck-android-experimental.el +++ b/flycheck-android-experimental.el @@ -39,6 +39,11 @@ :safe #'stringp) (make-variable-buffer-local 'flycheck-android-java-variant) +(flycheck-def-option-var flycheck-android-java-skip-gen nil android-java + "Set to non-nil if generate*Sources task should not be run before checking." + :safe #'stringp) +(make-variable-buffer-local 'flycheck-android-java-skip-gen) + (flycheck-define-checker android-java "Java syntax checker using javac." :command ("python" @@ -53,6 +58,8 @@ flycheck-android-java-checkstyle-properties concat) (option "--variant=" flycheck-android-java-variant concat) + (option-flag "--skip-gen" + flycheck-android-java-skip-gen) (eval (flycheck-android-get-sessiondir)) (eval buffer-file-name) source) |