diff options
| -rw-r--r-- | tools/tools/tinderbox/etc/experimental.rc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/etc/experimental.rc b/tools/tools/tinderbox/etc/experimental.rc index 8396a00..6b88040 100644 --- a/tools/tools/tinderbox/etc/experimental.rc +++ b/tools/tools/tinderbox/etc/experimental.rc @@ -9,3 +9,5 @@ branches = CURRENT env = NOLIBC_R=YES, NOFORTH=YES platforms = powerpc options = --verbose, --verbose +targets = clean, update, patch, world, generic, lint +patch = ppc-gcc.diff |
