diff --git a/tools/tinderbox/tinder-defaults.pl b/tools/tinderbox/tinder-defaults.pl
index 77ba70705d44..d10f991ea0f3 100644
--- a/tools/tinderbox/tinder-defaults.pl
+++ b/tools/tinderbox/tinder-defaults.pl
@@ -80,6 +80,9 @@ $Tinderbox_server = 'tinderbox-daemon@tinderbox.mozilla.org';
 #- Set if you want to build in a separate object tree
 $ObjDir = '';
 
+# Extra build name, if needed.
+$BuildNameExtra = '';
+
 # User comment, eg. ip address for dhcp builds.
 # ex: $UserComment = "ip = 208.12.36.108";
 $UserComment = 0;