From 8c98bee660237cfb80d1b260d1841e1d32b2c8c8 Mon Sep 17 00:00:00 2001 From: Radu Grigore Date: Wed, 28 Jun 2017 07:35:56 -0700 Subject: [PATCH] [infer][PR] Make --java-jar-compiler visible in `infer capture --help`. Summary: made change suggested by jvillard in https://github.com/facebook/infer/issues/676 Closes https://github.com/facebook/infer/pull/677 Differential Revision: D5337923 Pulled By: jvillard fbshipit-source-id: 9b5d5cf --- infer/src/base/Config.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index f52cf8eda..d66ee9944 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1166,7 +1166,8 @@ and iterations = and java_jar_compiler = CLOpt.mk_path_opt ~long:"java-jar-compiler" - ~meta:"path" "Specifify the Java compiler jar used to generate the bytecode" + ~in_help:CLOpt.[Capture, manual_java] + ~meta:"path" "Specify the Java compiler jar used to generate the bytecode" and jobs = CLOpt.mk_int ~deprecated:["-multicore"] ~long:"jobs" ~short:'j' ~default:ncpu