From c2ca6a23d56de95b5182629c94edbc421ec9b608 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 23 Aug 2016 08:09:20 -0700 Subject: [PATCH] pass -l to infer.py Summary: Python needs to know about the value of -l if the user passes it at the top level. Reviewed By: martinoluca Differential Revision: D3757614 fbshipit-source-id: fbd3c0f --- infer/src/backend/infer.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/infer/src/backend/infer.ml b/infer/src/backend/infer.ml index 258eba1a6..a0c5ab548 100644 --- a/infer/src/backend/infer.ml +++ b/infer/src/backend/infer.ml @@ -96,7 +96,9 @@ let () = ["--infer_cache"; s]) @ (match Config.stacktrace with None -> [] | Some s -> ["--stacktrace"; s]) @ - "--multicore" :: (string_of_int Config.jobs) :: + "-j" :: (string_of_int Config.jobs) :: + (match Config.load_average with None -> [] | Some f -> + ["-l"; string_of_float f]) @ (if not Config.pmd_xml then [] else ["--pmd-xml"]) @ (if not Config.reactive_mode then [] else