If specified, add Branch to build dir name

2014-01-13 23:35:15 -08:00
parent 75abd94bf5
commit c90fb34d6d
1 changed files with 2 additions and 0 deletions
@@ -692,6 +692,8 @@ def build( flavor='raring32server', tests=None, pre='', post='', memory=1024 ):
    date = strftime( '%y%m%d-%H-%M-%S', lstart)
    ovfdate = strftime( '%y%m%d', lstart )
    dir = 'mn-%s-%s' % ( flavor, date )
+    if Branch:
+        dir = 'mn-%s-%s-%s' % ( Branch, flavor, date )
    try:
        os.mkdir( dir )
    except: