pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[infer][OSS] use the name Infer instead of INFER in the scripts

Browse Source
master
jrm 10 years ago
parent 0062172651
commit 0fc2f28cba
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File

4
infer/bin/inferlib.py
Unescape View File

@ -76,7 +76,7 @@ base_group = base_parser.add_argument_group('global arguments')
base_group.add_argument('-o', '--out', metavar='<directory>', base_group.add_argument('-o', '--out', metavar='<directory>',
default=utils.DEFAULT_INFER_OUT, dest='infer_out', default=utils.DEFAULT_INFER_OUT, dest='infer_out',
action=AbsolutePathAction, action=AbsolutePathAction,
help='Set the INFER results directory') help='Set the Infer results directory')
base_group.add_argument('-i', '--incremental', action='store_true', base_group.add_argument('-i', '--incremental', action='store_true',
help='''Do not delete the results directory across help='''Do not delete the results directory across
Infer runs''') Infer runs''')
@ -349,7 +349,7 @@ class Infer:
help_exit('No javac command detected') help_exit('No javac command detected')
if self.args.infer_out is None: if self.args.infer_out is None:
help_exit('Expect INFER results directory') help_exit('Expect Infer results directory')
if self.args.buck: if self.args.buck:
self.args.infer_out = os.path.join( self.args.infer_out = os.path.join(

Write Preview
Loading…
Cancel
Save