changeset 2489:70f08556bc79

Add revision plumbing.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Tue, 24 Oct 2006 19:12:35 +0100
parents c97e8febe115
children a1347bcd1317
files lib/gub.py
diffstat 1 files changed, 7 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/lib/gub.py	Tue Oct 24 19:12:25 2006 +0100
+++ b/lib/gub.py	Tue Oct 24 19:12:35 2006 +0100
@@ -624,15 +624,17 @@
         return b
 
     def with (self,
-              branch='',
+              mirror=download.gnu,
               version='',
               module='',
-              mirror=download.gnu,
+              branch='',
+              revision='',
               format='gz'):
 
         self.format = format
         self.ball_version = version
         self.vc_branch = branch
+        self.revision = revision
 
         if mirror.startswith ('git:'):
             self.url = mirror
@@ -654,8 +656,9 @@
             if 'http:' in mirror:
                 self.url = mirror[len ('svn:'):]
             dir = '%s/%s.svn' % (self.settings.downloads, self.name ())
-            self.vc_repository = gitrepo.SVNRepository (dir, branch, module)
-            self.vc_branch = version
+            self.vc_repository = gitrepo.SVNRepository (dir, branch, module, revision)
+            # FIXME
+            self.vc_branch = revision
         else:
             self.url = mirror