system/freebsd-src
system/freebsd-src
1
0
Fork 0
mirror of https://github.com/freebsd/freebsd-src synced 2024-09-06 09:10:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use profiling on LINT.

Browse source 
cosmetics.
This commit is contained in:
Poul-Henning Kamp 2000-04-27 19:58:57 +00:00
parent 095a235e17
commit 83354dc7f2
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=59706
1 changed files with 18 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
tools/tools/kerninclude/kerninclude.sh
View file

@ -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
)