diff options
author | phk <phk@FreeBSD.org> | 2000-04-27 19:58:57 +0000 |
---|---|---|
committer | phk <phk@FreeBSD.org> | 2000-04-27 19:58:57 +0000 |
commit | 608e488b33371e609aca6a77af091461044cc7cd (patch) | |
tree | 843b0923c51f1cd712ec3ad68059f79cbf5a18f8 /tools | |
parent | 1aa2c61215213c40a593cde2b923768aa9eccc13 (diff) | |
download | FreeBSD-src-608e488b33371e609aca6a77af091461044cc7cd.zip FreeBSD-src-608e488b33371e609aca6a77af091461044cc7cd.tar.gz |
Use profiling on LINT.
cosmetics.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/tools/kerninclude/kerninclude.sh | 30 |
1 files 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 ) |