From 608e488b33371e609aca6a77af091461044cc7cd Mon Sep 17 00:00:00 2001
From: phk <phk@FreeBSD.org>
Date: Thu, 27 Apr 2000 19:58:57 +0000
Subject: Use profiling on LINT. cosmetics.

---
 tools/tools/kerninclude/kerninclude.sh | 30 ++++++++++++++++++------------
 1 file changed, 18 insertions(+), 12 deletions(-)

diff --git a/tools/tools/kerninclude/kerninclude.sh b/tools/tools/kerninclude/kerninclude.sh
index abf8dc3..45d4d1f 100644
--- a/tools/tools/kerninclude/kerninclude.sh
+++ b/tools/tools/kerninclude/kerninclude.sh
@@ -129,6 +129,7 @@ check_it ()
 
 if $init ; then
 	(
+	echo "Cleaning modules"
 	cd modules
 	make clean > /dev/null 2>&1
 	make cleandir > /dev/null 2>&1
@@ -138,24 +139,29 @@ if $init ; then
 	)
 
 	(
+	echo "Cleaning compile"
 	cd compile
 	ls | grep -v CVS | xargs rm -rf
 	)
 
 	( 
-	cd i386/conf
-	for i in $kernels
+	echo "Configuring kernels"
+	for d in i386/conf pc98/conf
 	do
-		if [ -f $i ] ; then
-			config -r $i
-		fi
-	done
-	cd ../../pc98/conf
-	for i in $kernels
-	do
-		if [ -f $i ] ; then
-			config -r $i
-		fi
+		(
+		cd $d
+		for i in $kernels
+		do
+			if [ ! -f $i ] ; then
+				continue
+			fi
+			if [ $i = "LINT" ] ; then
+				config -r -p $i
+			else
+				config -r $i
+			fi
+		done
+		)
 	done
 	)
 
-- 
cgit v1.1