From 7453e98fb97efddd714c307610a91cdf5637fbb2 Mon Sep 17 00:00:00 2001
From: thorpej <thorpej@NetBSD.org>
Date: Sat, 2 Sep 2000 21:38:19 +0000
Subject: [PATCH] Profiling version of the FRAU-FARBISSINA kernel.

---
 sys/arch/alpha/conf/FRAU-FARBISSINA.PROF | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 sys/arch/alpha/conf/FRAU-FARBISSINA.PROF

diff --git a/sys/arch/alpha/conf/FRAU-FARBISSINA.PROF b/sys/arch/alpha/conf/FRAU-FARBISSINA.PROF
new file mode 100644
index 000000000000..f298ad103e18
--- /dev/null
+++ b/sys/arch/alpha/conf/FRAU-FARBISSINA.PROF
@@ -0,0 +1,9 @@
+# $NetBSD: FRAU-FARBISSINA.PROF,v 1.1 2000/09/02 21:38:19 thorpej Exp $
+#
+# FRAU-FARBISSINA hard-wired with profiling support
+
+include	"arch/alpha/conf/FRAU-FARBISSINA"
+
+# Always include profiling support; does not need 'config -p'.
+makeoptions 	PROF="-pg"
+options 	GPROF