diff options
| author | Poul-Henning Kamp <phk@FreeBSD.org> | 2000-09-25 12:40:39 +0000 |
|---|---|---|
| committer | Poul-Henning Kamp <phk@FreeBSD.org> | 2000-09-25 12:40:39 +0000 |
| commit | 8aa6458645b5c104ac8ddbe41a574b4b1a08e87f (patch) | |
| tree | 3b8e882891b404ef730798248c60d46db2172280 /tools | |
| parent | 93ce5ab0494881cf70ea4e08b2526c82c72003fb (diff) | |
Notes
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tools/kerninclude/kerninclude.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools/kerninclude/kerninclude.sh b/tools/tools/kerninclude/kerninclude.sh index 6bcff05edbce..f44f7b97d274 100644 --- a/tools/tools/kerninclude/kerninclude.sh +++ b/tools/tools/kerninclude/kerninclude.sh @@ -150,7 +150,7 @@ if $init ; then echo "Configuring kernels" ( cd i386/conf - perl ./makeLINT.pl < NOTES > LINT + make LINT config -r -p LINT config -r GENERIC ) |