diff --git a/tools/tools/tinderbox/etc/experimental.rc b/tools/tools/tinderbox/etc/experimental.rc
index edbc39ea236..8396a002958 100644
--- a/tools/tools/tinderbox/etc/experimental.rc
+++ b/tools/tools/tinderbox/etc/experimental.rc
@@ -8,4 +8,4 @@ comment		= Experimental platforms
 branches	= CURRENT
 env		= NOLIBC_R=YES, NOFORTH=YES
 platforms	= powerpc
-options		= --verbose --verbose
+options		= --verbose, --verbose
diff --git a/tools/tools/tinderbox/experimental.rc b/tools/tools/tinderbox/experimental.rc
index edbc39ea236..8396a002958 100644
--- a/tools/tools/tinderbox/experimental.rc
+++ b/tools/tools/tinderbox/experimental.rc
@@ -8,4 +8,4 @@ comment		= Experimental platforms
 branches	= CURRENT
 env		= NOLIBC_R=YES, NOFORTH=YES
 platforms	= powerpc
-options		= --verbose --verbose
+options		= --verbose, --verbose