From 29777b413b4f2fdb2b93422ab8f3182d0e92e50c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dag-Erling=20Sm=C3=B8rgrav?= <des@FreeBSD.org>
Date: Mon, 14 Nov 2005 13:33:17 +0000
Subject: [PATCH] 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 538410b9428..05ec7e62670 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>