diff options
| author | des <des@FreeBSD.org> | 2005-11-14 13:33:17 +0000 |
|---|---|---|
| committer | des <des@FreeBSD.org> | 2005-11-14 13:33:17 +0000 |
| commit | 13b6012c65586d1c79c94a090166c184c59c945d (patch) | |
| tree | 12be87dc5f926339af0023bb2b528b5c859728dc | |
| parent | 837b3941899561014de2fd4b9b0f9757f14e77e8 (diff) | |
| download | FreeBSD-src-13b6012c65586d1c79c94a090166c184c59c945d.zip FreeBSD-src-13b6012c65586d1c79c94a090166c184c59c945d.tar.gz | |
Build a PAE kernel if a PAE config exists.
| -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> |
