From dea73d87e8d0be75ed46d09031b808990a5577f1 Mon Sep 17 00:00:00 2001 From: Akos Kiss Date: Fri, 28 Jun 2019 11:03:49 +0200 Subject: [PATCH] Hide info about --libfuzzer in tools/build.py behind --devhelp (#2929) This reduces the noise when a user asks for help via `--help`, as libfuzzer support is very developer-only. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu --- tools/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build.py b/tools/build.py index 719389f18..fbc7bc23d 100755 --- a/tools/build.py +++ b/tools/build.py @@ -91,7 +91,7 @@ def get_arguments(): compgrp.add_argument('--jerry-cmdline-test', metavar='X', choices=['ON', 'OFF'], type=str.upper, help=devhelp('build test version of the jerry command line tool (%(choices)s)')) compgrp.add_argument('--libfuzzer', metavar='X', choices=['ON', 'OFF'], type=str.upper, - help='build jerry with libfuzzer support (%(choices)s)') + help=devhelp('build jerry with libfuzzer support (%(choices)s)')) compgrp.add_argument('--jerry-ext', metavar='X', choices=['ON', 'OFF'], type=str.upper, help='build jerry-ext (%(choices)s)') compgrp.add_argument('--jerry-libm', metavar='X', choices=['ON', 'OFF'], type=str.upper,