diff options
| author | phk <phk@FreeBSD.org> | 2001-04-23 17:31:16 +0000 |
|---|---|---|
| committer | phk <phk@FreeBSD.org> | 2001-04-23 17:31:16 +0000 |
| commit | b1fdc60dc84560dfe97786673b108ecb596aa350 (patch) | |
| tree | 925d02d800b25111e02380d3ca7ca81b4ff27f0f | |
| parent | 358c78ac21e75cbb7a861197a1448c301e2a2b1a (diff) | |
| download | FreeBSD-src-b1fdc60dc84560dfe97786673b108ecb596aa350.zip FreeBSD-src-b1fdc60dc84560dfe97786673b108ecb596aa350.tar.gz | |
Update this to reflect changes in config(8) usage.
It finds 639 hits on kernel source from before the <sys/mount.h>
change earlier today.
| -rw-r--r-- | tools/tools/kerninclude/kerninclude.sh | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/tools/tools/kerninclude/kerninclude.sh b/tools/tools/kerninclude/kerninclude.sh index a15d6b9..1efe4c2 100644 --- a/tools/tools/kerninclude/kerninclude.sh +++ b/tools/tools/kerninclude/kerninclude.sh @@ -56,21 +56,18 @@ echo "Configuring kernels" cd i386/conf make LINT if $init ; then - config -r LINT - config -r GENERIC - else - config LINT - config GENERIC + rm -rf ../../compile/LINT ../../compile/GENERIC fi + config LINT + config GENERIC ) ( cd pc98/conf cp -f GENERIC GENERIC98 if $init ; then - config -r GENERIC98 - else - config GENERIC98 + rm -rf ../../compile/GENERIC98 fi + config GENERIC98 ) for i in $kernels |
