From 3382b1b88a7a960aa5cd06e9646e9dea3f24affc Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Wed, 15 Nov 2017 09:24:30 -0800 Subject: [PATCH] [iOS] Make xcpretty integration not default anymore, given that it has problems Summary: Closes #759 Reviewed By: jvillard Differential Revision: D6323815 fbshipit-source-id: 09fe3f2 --- infer/src/base/Config.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 1db54a7b6..7db971620 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1997,9 +1997,9 @@ and xcode_developer_dir = and xcpretty = - CLOpt.mk_bool ~long:"xcpretty" ~default:true + CLOpt.mk_bool ~long:"xcpretty" ~default:false ~in_help:CLOpt.([(Capture, manual_clang)]) - "Infer will use xcpretty together with xcodebuild to analyze an iOS app. xcpretty just needs to be in the path, infer command is still just $(i,`infer -- `). (Recommended)" + "Infer will use xcpretty together with xcodebuild to analyze an iOS app. xcpretty just needs to be in the path, infer command is still just $(i,`infer -- `)." and xml_specs =