diff options
Diffstat (limited to 'scripts/generate_plugins_path.py')
| -rw-r--r-- | scripts/generate_plugins_path.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/generate_plugins_path.py b/scripts/generate_plugins_path.py index 17a38f123b..d609639f94 100644 --- a/scripts/generate_plugins_path.py +++ b/scripts/generate_plugins_path.py @@ -7,12 +7,12 @@ import json if __name__ == "__main__": parser = argparse.ArgumentParser() parser.add_argument(dest="output", help="Output file") - parser.add_argument(dest="plugins", nargs=argparse.REMAINDER, help="The list of plugins") + parser.add_argument(dest="plugins", help="The list of plugins") options = parser.parse_args() all_paths = set() - for plugin in options.plugins: + for plugin in options.plugins.split(os.pathsep): all_paths.add(os.path.dirname(plugin)) with open(options.output, "w") as f: |