From 13b6012c65586d1c79c94a090166c184c59c945d Mon Sep 17 00:00:00 2001
From: des <des@FreeBSD.org>
Date: Mon, 14 Nov 2005 13:33:17 +0000
Subject: Build a PAE kernel if a PAE config exists.

---
 tools/tools/tinderbox/etc/head.rc | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
cgit v1.1