Builder: Optional build tag suffix for platform_release

Allows building manually-tagged additional builds.

distrib/autobuild.py

@@ -52,7 +52,7 @@ def todays_platform_release():
     ev = builder.Event()
 
     git_pull()
-    git_checkout(ev.tag())
+    git_checkout(ev.tag() + builder.config.TAG_MODIFIER)
 
     # We'll copy the new files to the build dir.
     os.chdir(builder.config.DISTRIB_DIR)
@@ -394,6 +394,7 @@ def sorted_commands():
         print '--distrib  Doomsday distrib directory'
         print '--events   Event directory (builds are stored here in subdirs)'
         print '--apt      Apt repository'
+        print '--tagmod   Additional suffix for build tag for platform_release'
         sys.exit(1)
 
     if sys.argv[1] not in commands:

distrib/builder/config.py

@@ -17,6 +17,7 @@ def get_arg(label):
     EVENT_DIR = '.'
 DISTRIB_DIR = '.'
 APT_REPO_DIR = ''
+TAG_MODIFIER = ''
 
 val = get_arg('--distrib')
 if val is not None: DISTRIB_DIR = val
@@ -26,3 +27,6 @@ def get_arg(label):
 
 val = get_arg('--apt')
 if val is not None: APT_REPO_DIR = val
+
+val = get_arg('--tagmod')
+if val is not None: TAG_MODIFIER = val