diff options
-rw-r--r-- | tools/tools/tinderbox/etc/head.rc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/etc/head.rc b/tools/tools/tinderbox/etc/head.rc index 538410b..05ec7e6 100644 --- a/tools/tools/tinderbox/etc/head.rc +++ b/tools/tools/tinderbox/etc/head.rc @@ -8,4 +8,5 @@ branches = HEAD platforms = alpha, amd64, i386/i386, i386/pc98, sparc64 cflags = -O2 -pipe coptflags = %%CFLAGS%% +targets += kernel:PAE recipient = %%SENDER%%,<current@freebsd.org>,<%%arch%%@freebsd.org> |