diff --git a/scripts/generate_init_static_plugins.py b/scripts/generate_init_static_plugins.py index 230929fc91..92d3d6d4d5 100644 --- a/scripts/generate_init_static_plugins.py +++ b/scripts/generate_init_static_plugins.py @@ -79,6 +79,10 @@ if __name__ == "__main__": plugins_declaration = [] plugins_registration = [] + if ',' in options.plugins or ':' in options.plugins: + print("Only ';' is allowed in the list of plugins.") + exit(1) + if options.plugins is None or options.plugins.isspace(): plugins = [] else: