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 =