diff options
Diffstat (limited to 'tools')
-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 edbc39e..8396a00 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 edbc39e..8396a00 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 |