[infer] make `-a infer` an alias for `-a checkers`

Summary: This will avoid confusions when running `-a infer --racerd` which would silently not running RacerD before this diff.

Reviewed By: sblackshear

Differential Revision: D6374139

fbshipit-source-id: 2cb5004
master
Jeremy Dubreil 7 years ago committed by Facebook Github Bot
parent a991b98d02
commit 716ff9b3d5

@ -30,10 +30,10 @@ type analyzer =
let equal_analyzer = [%compare.equal : analyzer] let equal_analyzer = [%compare.equal : analyzer]
let string_to_analyzer = let string_to_analyzer =
[ ("infer", BiAbduction) [ ("checkers", Checkers)
; ("infer", Checkers)
; ("biabduction", BiAbduction) ; ("biabduction", BiAbduction)
; ("capture", CaptureOnly) ; ("capture", CaptureOnly)
; ("checkers", Checkers)
; ("compile", CompileOnly) ; ("compile", CompileOnly)
; ("crashcontext", Crashcontext) ; ("crashcontext", Crashcontext)
; ("linters", Linters) ] ; ("linters", Linters) ]

Loading…
Cancel
Save