From ed0da85f6ce8aa62a3d5b51ee71a703192692476 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 27 Jul 2017 05:54:25 -0700 Subject: [PATCH] [python] kill unused --android-harness option Summary: The python scripts support this option but don't do anything with it. Note: This doesn't remove support for android harnesses. Reviewed By: sblackshear Differential Revision: D5501019 fbshipit-source-id: 14c4e3f --- infer/lib/python/inferlib/analyze.py | 5 ----- infer/src/integration/Driver.ml | 1 - 2 files changed, 6 deletions(-) diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index 1a0486e7e..88b78ef4a 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -46,11 +46,6 @@ base_group.add_argument('-nf', '--no-filtering', action='store_true', help='''Also show the results from the experimental checks. Warning: some checks may contain many false alarms''') - -base_group.add_argument('--android-harness', action='store_true', - help='''[experimental] Create harness to detect bugs - involving the Android lifecycle''') - base_group.add_argument('--pmd-xml', action='store_true', help='''Output issues in (PMD) XML format.''') diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index b7615da9c..99d3f7f26 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -274,7 +274,6 @@ let capture ~changed_files = function -> ["--blacklist-regex"; s] | _ -> [] ) - @ (if not Config.create_harness then [] else ["--android-harness"]) @ ( match Config.java_jar_compiler with | None -> []