changeset 3168:6d8dab189977

gup-manager: branches is a list
author Han-Wen Nienhuys <hanwen@lilypond.org>
date Sat, 07 Apr 2007 00:19:55 -0300
parents dc91a6c1dde0
children cf240985b257
files gup-manager.py
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gup-manager.py	Sat Apr 07 00:19:38 2007 -0300
+++ b/gup-manager.py	Sat Apr 07 00:19:55 2007 -0300
@@ -176,7 +176,11 @@
     target_manager = gup.DependencyManager (options.root,
                                             oslog.Os_commands ("/dev/null"),
                                             dbdir=options.dbdir)
-    branch_dict = dict ([tuple (options.branches.split ('='))])
+
+    branch_dict = {}
+    for b in options.branches:
+        (package, branch_name) = b.split ('=')
+        branch_dict[package] = branch_name
     if options.command == 'install':
         platform = options.platform