diff --git a/scripts/generate_init_static_plugins.py b/scripts/generate_init_static_plugins.py index 5d7af8b9b7..230929fc91 100644 --- a/scripts/generate_init_static_plugins.py +++ b/scripts/generate_init_static_plugins.py @@ -79,7 +79,7 @@ if __name__ == "__main__": plugins_declaration = [] plugins_registration = [] - if options.plugins is None: + if options.plugins is None or options.plugins.isspace(): plugins = [] else: plugins = options.plugins.split(';')