aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Max Moroz <dor3s1@gmail.com>2018-11-09 09:24:54 -0800
committerGravatar GitHub <noreply@github.com>2018-11-09 09:24:54 -0800
commit6def182595551c06aa144c86a5df28ba8886f650 (patch)
treea958edd37d38737a080180b70ac38e484b58deaf
parent3358b336bed76f92ec73c982eb48933592a93457 (diff)
[infra] Clarify "run_fuzzer" and "shell" commands and remove "profile". (#1939)
-rwxr-xr-xinfra/helper.py11
1 files changed, 2 insertions, 9 deletions
diff --git a/infra/helper.py b/infra/helper.py
index b99b069c..c16991a2 100755
--- a/infra/helper.py
+++ b/infra/helper.py
@@ -103,7 +103,7 @@ def main():
nargs='?')
run_fuzzer_parser = subparsers.add_parser(
- 'run_fuzzer', help='Run a fuzzer.')
+ 'run_fuzzer', help='Run a fuzzer in the emulated fuzzing environment.')
_add_engine_args(run_fuzzer_parser)
_add_sanitizer_args(run_fuzzer_parser)
_add_environment_args(run_fuzzer_parser)
@@ -129,9 +129,6 @@ def main():
coverage_parser.add_argument('extra_args', help='additional arguments to '
'pass to llvm-cov utility.', nargs='*')
- profile_parser = subparsers.add_parser(
- 'profile', help='"profile" command was renamed to "coverage".')
-
reproduce_parser = subparsers.add_parser(
'reproduce', help='Reproduce a crash.')
reproduce_parser.add_argument('--valgrind', action='store_true',
@@ -144,7 +141,7 @@ def main():
_add_environment_args(reproduce_parser)
shell_parser = subparsers.add_parser(
- 'shell', help='Run /bin/bash in an image.')
+ 'shell', help='Run /bin/bash within the builder container.')
shell_parser.add_argument('project_name', help='name of the project')
_add_engine_args(shell_parser)
_add_sanitizer_args(shell_parser)
@@ -166,10 +163,6 @@ def main():
return run_fuzzer(args)
elif args.command == 'coverage':
return coverage(args)
- elif args.command == 'profile':
- print(
- 'ERROR: "profile" command was renamed to "coverage".', file=sys.stderr)
- return 1
elif args.command == 'reproduce':
return reproduce(args)
elif args.command == 'shell':