diff options
| -rw-r--r-- | tools/get_deps.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/get_deps.py b/tools/get_deps.py index 06da54b41..5946d7def 100644 --- a/tools/get_deps.py +++ b/tools/get_deps.py @@ -251,6 +251,7 @@ def main(): parser = argparse.ArgumentParser() parser.add_argument('families', nargs='*', default=[], help='Families to fetch') parser.add_argument('-b', '--board', action='append', default=[], help='Boards to fetch') + parser.add_argument('-f1', '--build-flags-on', action='append', default=[], help='Have no effect') parser.add_argument('--print', action='store_true', help='Print commit hash only') args = parser.parse_args() |