wpesrc: Switch URI handler to web+... protocols

[platform/upstream/gstreamer.git] / scripts / generate_plugins_path.py

diff --git a/scripts/generate_plugins_path.py b/scripts/generate_plugins_path.py
index 17a38f1..d609639 100644 (file)
--- 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: