diff --git a/scripts-dev/definitions.py b/scripts-dev/definitions.py index 934bc4a3d8f3e7ba884b56cf89b8648b22d8f13c..f0d0cd8a3f91b2c9f2bdf4fb98d8486a180a5eaf 100755 --- a/scripts-dev/definitions.py +++ b/scripts-dev/definitions.py @@ -102,7 +102,7 @@ if __name__ == '__main__': "--ignore", action="append", metavar="REGEXP", help="Ignore a pattern" ) parser.add_argument( - "--pattern", nargs='+', action="append", metavar="REGEXP", + "--pattern", action="append", metavar="REGEXP", help="Search for a pattern" ) parser.add_argument(