d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't try to build LINT if there is no NOTES file.

Browse Source
This commit is contained in:
Dag-Erling Smørgrav 2003-02-23 12:39:25 +00:00
parent aefdeea603
commit 7941c77b0a
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/tools/tinderbox/tinderbox.pl
View File

@ -419,6 +419,10 @@ MAIN:{
}
# Build LINT if requested
if ($cmds{'lint'} && ! -f "$sandbox/src/sys/$machine/conf/NOTES") {
logstage("no NOTES, skipping lint kernel");
$cmds{'lint'} = 0;
}
if ($cmds{'lint'}) {
logstage("building lint kernel");
cd("$sandbox/src/sys/$machine/conf");