From 3af3ed3dfded58016f9068ce4a015e11407bfb18 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Fri, 4 Nov 2016 03:45:24 -0700 Subject: [PATCH] [config] Remove unused --absolute-paths Reviewed By: jvillard, jeremydubreil, martinoluca Differential Revision: D4124426 fbshipit-source-id: aae3d7a --- infer/src/base/Config.ml | 5 ----- infer/src/base/Config.mli | 1 - 2 files changed, 6 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index cc6a478c8..a9a4f5bc9 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -481,10 +481,6 @@ and rest = ~exes:CLOpt.[Toplevel;BuckCompilationDatabase] "Stop argument processing, use remaining arguments as a build command" -and absolute_paths = - CLOpt.mk_bool ~long:"absolute-paths" - ~exes:CLOpt.[Java] "Report errors using absolute paths" - and abs_struct = CLOpt.mk_int ~deprecated:["absstruct"] ~long:"abs-struct" ~default:1 ~meta:"int" "Specify abstraction level for fields of structs:\n\ @@ -1383,7 +1379,6 @@ let anon_args = IList.rev !anon_args and rest = !rest and abs_struct = !abs_struct and abs_val_orig = !abs_val -and absolute_paths = !absolute_paths and allow_specs_cleanup = !allow_specs_cleanup and analysis_path_regex_whitelist_options = IList.map (fun (a, b) -> (a, !b)) analysis_path_regex_whitelist_options diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index b8587d3a2..40100755f 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -130,7 +130,6 @@ val wrappers_dir : string val anon_args : string list val rest : string list val abs_struct : int -val absolute_paths : bool val allow_specs_cleanup : bool val analysis_path_regex_whitelist : analyzer -> string list val analysis_path_regex_blacklist : analyzer -> string list