diff --git a/mozilla/tools/tinderbox/post-mozilla.pl b/mozilla/tools/tinderbox/post-mozilla.pl
new file mode 100644
index 00000000000..33151ef6f0d
--- /dev/null
+++ b/mozilla/tools/tinderbox/post-mozilla.pl
@@ -0,0 +1,3 @@
+# require "post-mozilla-rel.pl" if -e "post-mozilla-rel.pl";
+
+1;