From c90fb34d6d3cd5c7eebd7e556637db40ebf3fdfd Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Mon, 13 Jan 2014 23:35:15 -0800
Subject: [PATCH] If specified, add Branch to build dir name
---
util/vm/build.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/util/vm/build.py b/util/vm/build.py
index 566268e7..9cd0ba24 100755
--- a/util/vm/build.py
+++ b/util/vm/build.py
@@ -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:
--
GitLab