diff options
Diffstat (limited to 'tools/buildman/cmdline.py')
| -rw-r--r-- | tools/buildman/cmdline.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/buildman/cmdline.py b/tools/buildman/cmdline.py index 4331fbdab31..052e223597c 100644 --- a/tools/buildman/cmdline.py +++ b/tools/buildman/cmdline.py @@ -60,6 +60,9 @@ def add_upto_m(parser): help="Fetch a toolchain for architecture FETCH_ARCH ('list' to list)." ' You can also fetch several toolchains separate by comma, or' " 'all' to download all") + parser.add_argument( + '--full-check', action='store_true', + help='Check maintainer entries and TARGET configs') parser.add_argument('-g', '--git', type=str, help='Git repo containing branch to build', default='.') parser.add_argument('-G', '--config-file', type=str, |