From 0fc2f28cba7864466b0f9298e684215a671dbe85 Mon Sep 17 00:00:00 2001 From: jrm Date: Wed, 10 Jun 2015 17:26:53 -0700 Subject: [PATCH] [infer][OSS] use the name Infer instead of INFER in the scripts --- infer/bin/inferlib.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/bin/inferlib.py b/infer/bin/inferlib.py index 132b78a0e..5b0124a38 100644 --- a/infer/bin/inferlib.py +++ b/infer/bin/inferlib.py @@ -76,7 +76,7 @@ base_group = base_parser.add_argument_group('global arguments') base_group.add_argument('-o', '--out', metavar='', default=utils.DEFAULT_INFER_OUT, dest='infer_out', action=AbsolutePathAction, - help='Set the INFER results directory') + help='Set the Infer results directory') base_group.add_argument('-i', '--incremental', action='store_true', help='''Do not delete the results directory across Infer runs''') @@ -349,7 +349,7 @@ class Infer: help_exit('No javac command detected') if self.args.infer_out is None: - help_exit('Expect INFER results directory') + help_exit('Expect Infer results directory') if self.args.buck: self.args.infer_out = os.path.join(