diff options
| -rw-r--r-- | tools/tools/tinderbox/etc/experimental.rc | 1 | ||||
| -rw-r--r-- | tools/tools/tinderbox/experimental.rc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/etc/experimental.rc b/tools/tools/tinderbox/etc/experimental.rc index fe0f1f4..edbc39e 100644 --- a/tools/tools/tinderbox/etc/experimental.rc +++ b/tools/tools/tinderbox/etc/experimental.rc @@ -8,3 +8,4 @@ comment = Experimental platforms branches = CURRENT env = NOLIBC_R=YES, NOFORTH=YES platforms = powerpc +options = --verbose --verbose diff --git a/tools/tools/tinderbox/experimental.rc b/tools/tools/tinderbox/experimental.rc index fe0f1f4..edbc39e 100644 --- a/tools/tools/tinderbox/experimental.rc +++ b/tools/tools/tinderbox/experimental.rc @@ -8,3 +8,4 @@ comment = Experimental platforms branches = CURRENT env = NOLIBC_R=YES, NOFORTH=YES platforms = powerpc +options = --verbose --verbose |
