From 15dabefd046e39d2e5885d4f3b14899f0e8bb630 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Mon, 30 Mar 2020 04:33:29 -0700 Subject: [PATCH] [CLI] let OUnit arguments pass through Summary: When executing unit tests, don't parse the arguments as they will be parsed by OUnit. Reviewed By: skcho Differential Revision: D20669675 fbshipit-source-id: 897ec10ee --- infer/src/base/Config.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index b59de81a2..118b974fc 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -453,7 +453,7 @@ let implicit_sdk_root = let startup_action = let open CLOpt in if infer_is_javac then Javac - else if !Sys.interactive then NoParse + else if !Sys.interactive || String.is_substring ~substring:"inferunit" exe_basename then NoParse else if infer_is_clang then NoParse else InferCommand