diff options
| author | Poul-Henning Kamp <phk@FreeBSD.org> | 2000-04-27 19:58:57 +0000 |
|---|---|---|
| committer | Poul-Henning Kamp <phk@FreeBSD.org> | 2000-04-27 19:58:57 +0000 |
| commit | 83354dc7f2f5bbd9a26e67c3b1f953685ff93446 (patch) | |
| tree | 919bf629d7ba18c06a399b895c2a045c930cff34 /tools/tools/kerninclude | |
| parent | 095a235e1769dbece3c0185dd6fbb7fe7bbb2bd7 (diff) | |
| download | src-83354dc7f2f5bbd9a26e67c3b1f953685ff93446.tar.gz src-83354dc7f2f5bbd9a26e67c3b1f953685ff93446.zip | |
Use profiling on LINT.
cosmetics.
Notes
Notes:
svn path=/head/; revision=59706
Diffstat (limited to 'tools/tools/kerninclude')
| -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 abf8dc3cdcf7..45d4d1f0bc41 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 ) |