diff options
-rw-r--r-- | tools/tools/tinderbox/etc/experimental.rc | 2 | ||||
-rw-r--r-- | tools/tools/tinderbox/experimental.rc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/tools/tinderbox/etc/experimental.rc b/tools/tools/tinderbox/etc/experimental.rc index edbc39ea2360..8396a0029586 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 edbc39ea2360..8396a0029586 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 |